diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-10-10 23:54:17 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-10-11 00:01:44 +0200 |
| commit | 272fc9dca35c06d431e59e68a2a05ed8c2c3ce96 (patch) | |
| tree | 03011cc2a6fce5df058914b92068ca5a673d405d /gnu/packages/idris.scm | |
| parent | 43abffa1a3f216aa7cffaa748d3453e30f3e8839 (diff) | |
| download | guix-272fc9dca35c06d431e59e68a2a05ed8c2c3ce96.tar.gz | |
gnu: tlp: Return #t from phases.
* gnu/packages/linux.scm (tlp)[argument]: Return #t all from phases.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions