wok view grub2-efi-x64/stuff/grub.cfg @ rev 22884

updated gsettings-desktop-schemas again (3.28.1 -> 3.34.0)
author Hans-G?nter Theisgen
date Sat Feb 22 16:44:15 2020 +0100 (2020-02-22)
parents
children
line source
1 search -s -f /efi/grub/grub.cfg && configfile /efi/grub/grub.cfg
2 search -s -f /efi/boot/grub.cfg && configfile /efi/boot/grub.cfg
3 search -s -f /efi/grub.cfg && configfile /efi/grub.cfg