diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-03-04 14:09:45 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-03-04 14:09:45 +0100 |
| commit | 9d6a975a0e3850a36889a18b5d9929d27b901ab3 (patch) | |
| tree | 2130084703b45ba08a7f94e0d446a081a4ba2894 /.gitignore | |
| parent | d0b124992232dde30fbff83dd4eeae8fc977d3ba (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