Moved /boot/grub2 to /boot/grub

2020-11-12 19:14:22 +01:00 · 2020-11-12 19:14:22 +01:00 · 637d9037dc
parent 035696cc08
commit 637d9037dc
4 changed files with 2 additions and 0 deletions
--- a/boot/grub2/grub.cfg
+++ b/boot/grub2/grub.cfg
--- a/boot/grub2/isos.cfg
+++ b/boot/grub2/isos.cfg
--- a/boot/grub2/theming.cfg
+++ b/boot/grub2/theming.cfg
--- a/boot/iso/.gitignore
+++ b/boot/iso/.gitignore
@ -0,0 +1,2 @@
+# This is merely as a keeper for this directory
+*