diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-21 04:21:21 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-22 20:54:43 +0200 |
commit | 71d04202026e2061f898a142a8381d55bee5fb00 (patch) | |
tree | 7e914aa76d084eaf9347d7897a9bfc87464b49cc /po | |
parent | af98d25a1286e246e8da36d6d63b4d66e58f2cf8 (diff) | |
download | patches-71d04202026e2061f898a142a8381d55bee5fb00.tar patches-71d04202026e2061f898a142a8381d55bee5fb00.tar.gz |
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.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions