diff options
author | 2019-02-27 11:09:00 +0100 | |
---|---|---|
committer | 2019-02-27 11:09:00 +0100 | |
commit | b071672e78e6b7170e10bd658696505ae1215568 (patch) | |
tree | ee564a40ecff85544cf988e889982b4521b95f52 /doc/Pitfalls.dox | |
parent | cf4a1c81fa27ae94634ba7e86da06d6849ebc474 (diff) |
Do not keep latex logs
to make package builds more reproducible.
See https://reproducible-builds.org/ for why this is good.
Diffstat (limited to 'doc/Pitfalls.dox')
0 files changed, 0 insertions, 0 deletions