diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-05 00:06:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-05 00:08:04 +0100 |
| commit | a173f09811baa2f368fd77dd7a7e3552e2e56040 (patch) | |
| tree | fbe43315c57b919475465030331b8f1456d069fb /gnu/packages/agda.scm | |
| parent | ec651f2562241064db7dd0d2a181cd85c787b541 (diff) | |
| download | guix-a173f09811baa2f368fd77dd7a7e3552e2e56040.tar.gz guix-a173f09811baa2f368fd77dd7a7e3552e2e56040.zip | |
ui: It's 2019 now!
* guix/ui.scm (show-version-and-exit): Change year to 2019.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions