diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-09-03 11:14:12 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-09-03 15:43:07 +0200 |
commit | 8a9e21d1f719748213414343cd02ec113ebe90c1 (patch) | |
tree | a797acf09699ec6f233e88c6ccef23eeddd83185 /.dir-locals.el | |
parent | 548f7a8fa2a4745d0e35e175e201513857440991 (diff) |
Rename (gnu build linux-initrd) to (gnu build linux-boot).
* gnu/build/linux-initrd.scm: Rename to...
* gnu/build/linux-boot.scm: ... this.
* gnu-system.am (GNU_SYSTEM_MODULES): Adjust accordingly.
* gnu/build/activation.scm, gnu/build/vm.scm, gnu/services/base.scm,
gnu/services/dmd.scm, gnu/system.scm, gnu/system/linux-initrd.scm,
gnu/system/vm.scm: Adjust accordingly.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions