diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-02-03 23:03:52 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-02-04 10:49:10 +0100 |
| commit | 1e957fabcf24ba6b21f649677690c3f4fa02d283 (patch) | |
| tree | d0d5aebff3776ef53629d9b3c1c42e179832f0ff /gnu/packages/coq.scm | |
| parent | 26b7d23aa6e67955f74cb5bcfe33b6f222c9df83 (diff) | |
| download | guix-1e957fabcf24ba6b21f649677690c3f4fa02d283.tar.gz | |
gnu: borg: Make man pages reproducible.
* gnu/packages/backup.scm (borg)[arguments]: Add "remove-documentation-timestamps" phase.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions