mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 15:49:23 +00:00
review comments
This commit is contained in:
1 parent
2bd591d03e
commit
bdf0d62321
7 files changed
+12
-60
No files matched your search
@@ -268,6 +268,7 @@ script = {
|
||||
installdir = grubconf;
|
||||
};
|
||||
|
||||
/*
|
||||
script = {
|
||||
name = '10_windows';
|
||||
source = util/grub.d/10_windows.in;
|
||||
@@ -279,6 +280,7 @@ script = {
|
||||
source = util/grub.d/10_hurd.in;
|
||||
installdir = grubconf;
|
||||
};
|
||||
*/
|
||||
|
||||
script = {
|
||||
name = '10_linux';
|
||||
|
||||
Reference in new issue
Block a user