diff options
Diffstat (limited to 'EFI/BOOT/grub.cfg')
| -rw-r--r-- | EFI/BOOT/grub.cfg | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/EFI/BOOT/grub.cfg b/EFI/BOOT/grub.cfg deleted file mode 100644 index 63e7c80..0000000 --- a/EFI/BOOT/grub.cfg +++ /dev/null @@ -1 +0,0 @@ -source $prefix/menu/grub.cfg |