diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-03-17 22:12:40 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-03-24 23:06:10 +0100 |
commit | 8a0e1bb12b3c22a8c9a2be17492058ca63ec7c5d (patch) | |
tree | f53b25663956e666ff6243dc15a4a5adc1ca5148 /gnu | |
parent | 16360cc884030eb69590dc18d9694b04c67273f6 (diff) | |
download | patches-8a0e1bb12b3c22a8c9a2be17492058ca63ec7c5d.tar patches-8a0e1bb12b3c22a8c9a2be17492058ca63ec7c5d.tar.gz |
bootloader: Remove unused 'additional-configuration' field.
* gnu/bootloader.scm (<bootloader-configuration>)[additional-configuration]:
Remove.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/bootloader.scm | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gnu/bootloader.scm b/gnu/bootloader.scm index a32bf5ec67..5ae8ea3ee3 100644 --- a/gnu/bootloader.scm +++ b/gnu/bootloader.scm @@ -122,8 +122,6 @@ (serial-unit bootloader-configuration-serial-unit ; integer | #f (default #f)) (serial-speed bootloader-configuration-serial-speed ; integer | #f - (default #f)) - (additional-configuration bootloader-configuration-additional-configuration ; record (default #f))) |