diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-15 18:52:38 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-18 23:37:44 +0100 |
| commit | 35b4468127a766c2f543033880635affa99a4040 (patch) | |
| tree | ae8000a0dbe52841c5eeabc2acc832fd83000c91 /gnu/system | |
| parent | e34ae75dc14acb97f661a2787a3c626d7ce65b24 (diff) | |
system: De-monadify 'operating-system-boot-parameters'.
* gnu/system.scm (operating-system-boot-parameters): Turn to direct
style instead of monadic.
(operating-system-bootcfg): Adjust accordingly.
(operating-system-boot-parameters-file): Likewise.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions