]> git.tuebingen.mpg.de Git - tfortune.git/commitdiff
Run gzip with -n.
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 31 May 2019 18:23:02 +0000 (20:23 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 1 Jun 2019 10:23:02 +0000 (12:23 +0200)
It is generally a good idea to not save the local file name and
timestamp in the compressed file, as this thwarts reproducible builds.

Suggested-by: Adam Borowski <kilobyte@angband.pl>

No differences found