Danny Milosavljevic 71d0420202 system: Rename operating-system-parameters-file to operating-system-boot-parameters-file. ...

* gnu/system.scm (operating-system-parameters-file): Rename to ...
(operating-system-boot-parameters-file): ... this.
(operating-system-directory-base-entries): Adapt call site.

2017-04-22 20:54:43 +02:00

34 KiB

Raw Blame History

View Raw