diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-01-05 17:24:03 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-01-05 17:40:54 +0100 |
| commit | 12c15242f422ab62bc0e653365c692047386b604 (patch) | |
| tree | 3310e0850aba1117311c2f280a61613b0e84f35b /gnu/packages/idris.scm | |
| parent | 543bd0eede88f175427836b31dc81263d5306358 (diff) | |
| download | patches-12c15242f422ab62bc0e653365c692047386b604.tar patches-12c15242f422ab62bc0e653365c692047386b604.tar.gz | |
gnu: beep: Ignore substitute* return value.
* gnu/packages/terminals.scm (beep)[arguments]: End 'patch-makefile phase
with truth.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions