aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-05-05 15:10:12 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-05-05 15:10:12 +0200
commitf9eeba428ebb95e861df0191d896d39ce6891246 (patch)
treef7462b7fcd7ec1110bdfdacfe617163fb4ee42b2 /.gitignore
parentfff36cb5f60626d8dbfe97514226e0a46bb938f6 (diff)
Another attempt to fix vignette building on windows
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint