aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-07-01 09:03:07 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-07-01 09:03:07 +0200
commit3ee94b79cc213d2881038bf14911d51c7572e59a (patch)
treeb02b019a5729973385260100f38dd4841c893e23 /.gitignore
parent438a889c37ffdf8f0c6585092da6abdb63b4575e (diff)
Corrections in the clean target
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint