diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-05-02 18:56:48 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-05-02 18:56:48 +0200 |
| commit | de7b6acdd75a0f95f2a9522c22625810f4aa329a (patch) | |
| tree | 4d8d505830e6ab9073b8e8a11b6e275626082a25 /.gitignore | |
| parent | 6ddb7575f37d9d534f014cbd105b2f07660d59c6 (diff) | |
Build log
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions