diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-07-10 01:28:34 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-07-10 18:20:32 +0200 |
| commit | ad22c7185395a52bd90ea5890a2ac79f44d00352 (patch) | |
| tree | a9741781fe37b88c01b567739f230126d95fc298 /etc | |
| parent | 63eb4a2a91af8d0a3801bb542f73fd21ecfc9a9e (diff) | |
gnu: ghostscript: Make "/CreationDate", "/ModDate" optional, depending on environment variable.
* gnu/packages/patches/ghostscript-no-header-creationdate.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ghostscript.scm (ghostscript): Use it.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions