diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2017-01-01 12:56:10 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2017-01-01 13:55:50 +0100 |
| commit | c26ba570cce88a9c2529df722042648e34181e42 (patch) | |
| tree | bf8cd32121fe6b3e0f4f77e35c6ee44af9112b0c /etc | |
| parent | 636c77d0662503fa64c82bdb38e2754470e4192a (diff) | |
| download | patches-c26ba570cce88a9c2529df722042648e34181e42.tar patches-c26ba570cce88a9c2529df722042648e34181e42.tar.gz | |
gnu: clisp: Remove timestamps.
* gnu/packages/lisp.scm (clisp)[arguments]: Add "remove-timestamps"
phase to remove "__DATE__" and "__TIME__".
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions