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 /vignettes/mkin_vignettes.css | |
parent | d0b124992232dde30fbff83dd4eeae8fc977d3ba (diff) |
Make some example output more reproducible
In order to avoid some unnecessary documentation rebuilds
Diffstat (limited to 'vignettes/mkin_vignettes.css')
0 files changed, 0 insertions, 0 deletions