aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-06-23 09:31:16 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-06-23 09:31:16 +0200
commitf47821e831a55716ce045134006df52a0d8c7050 (patch)
treeaf1c73bdb2d9ed9022dbbe3a9df1d30ee9a7648e /.gitignore
parent00d164d6d40172c6f8b83578fd30ca28f8c378c7 (diff)
Improve formatting of \dontrun section
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint