diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-01-31 13:28:21 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-02-01 00:11:10 +0100 |
| commit | 015d0a8418d867c13ae83acb44dc1157df2fedae (patch) | |
| tree | c577312924e9b26066ac4763ef9c4e054e70bd37 /gnu/packages/idris.scm | |
| parent | d4660a54401fb2c2a882d9ae8fa57393c3be193f (diff) | |
| download | guix-015d0a8418d867c13ae83acb44dc1157df2fedae.tar.gz | |
linux-boot: Add find-long-options.
* gnu/build/linux/boot.scm (find-long-options): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions