aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-11-12 12:46:15 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2014-11-12 12:46:15 +0100
commit3516b626be1aeb639d0735e79449424d2e987d7a (patch)
tree3b36c2f2e82e0eb9292fc8a6ad39f08f240b9325 /.gitignore
parent79fdb787e2e79a70e27cf8a3191aa6a0ac2ac2e3 (diff)
Fix a typo in the list of possible arguments
Thanks to Michael Brauer for the hint
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint