diff options
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/grub.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm index 5c9d0f15a1..4657b06b5f 100644 --- a/gnu/system/grub.scm +++ b/gnu/system/grub.scm @@ -51,6 +51,7 @@ grub-configuration grub-configuration? grub-configuration-device + grub-configuration-grub menu-entry menu-entry? |