aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-03-04 14:09:45 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2019-03-04 14:09:45 +0100
commit9d6a975a0e3850a36889a18b5d9929d27b901ab3 (patch)
tree2130084703b45ba08a7f94e0d446a081a4ba2894 /.gitignore
parentd0b124992232dde30fbff83dd4eeae8fc977d3ba (diff)
Make some example output more reproducible
In order to avoid some unnecessary documentation rebuilds
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint