ppd files are gzipped to save some space. The `gzip` "-n" option prevents gzip from storing a timestamp, thus facilitating reproducibility. |
||
---|---|---|
.. | ||
manual | ||
varlistentry-fixer.rb | ||
xmlformat.conf |
ppd files are gzipped to save some space. The `gzip` "-n" option prevents gzip from storing a timestamp, thus facilitating reproducibility. |
||
---|---|---|
.. | ||
manual | ||
varlistentry-fixer.rb | ||
xmlformat.conf |