summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-01-31 07:40:09 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2017-01-31 07:40:09 +0100
commit5cf14fe9a9fe15e866529ebde14492b56645f6b7 (patch)
treea21f11cda8bf68fef857fa7c98c3a131242d8ce6 /.gitignore
parent4f4cd07a9ef72c53bbfa53eda835f19dc9f9ad72 (diff)
Remove winbuilder target, documentation fix.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint