diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-10-02 17:39:25 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-10-02 17:39:25 +0200 |
| commit | 3f1738a3ba4b2ca2483d356f54fd2de7577c2ca7 (patch) | |
| tree | 2f44029af46d6c242a9d9ca5f1d9b784636831aa /.gitignore | |
| parent | 56157ad9495765d9982875d2e14ab2b29d17692c (diff) | |
Don't tighten build dependency, fix fresh repos
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions