diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-20 03:24:36 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-20 04:56:32 +0200 |
| commit | e97ad01e4d9dff679ae9e9e0d0ad0918f21959a7 (patch) | |
| tree | 69a624bf667c71659e09678723c6fbd3a057130d /gnu/packages/agda.scm | |
| parent | e76d959d6a85d96e5c1dd3f8a4cea27878cdf57d (diff) | |
| download | patches-e97ad01e4d9dff679ae9e9e0d0ad0918f21959a7.tar patches-e97ad01e4d9dff679ae9e9e0d0ad0918f21959a7.tar.gz | |
gnu: emacs-ivy: Return #t from phases.
* gnu/packages/emacs.scm (emacs-ivy)[arguments]: Substitute INVOKE for
SYSTEM* and return #t where otherwise undefined.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions