summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-10-02 17:39:25 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2017-10-02 17:39:25 +0200
commit3f1738a3ba4b2ca2483d356f54fd2de7577c2ca7 (patch)
tree2f44029af46d6c242a9d9ca5f1d9b784636831aa /.gitignore
parent56157ad9495765d9982875d2e14ab2b29d17692c (diff)
Don't tighten build dependency, fix fresh repos
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint