grub-efi/debian/init-select.cfg

8 lines
274 B
INI
Raw Permalink Normal View History

2023-08-16 16:37:14 +08:00
# Work around a bug in the obsolete init-select package which broke
# grub-mkconfig when init-select was removed but not purged. This file does
# nothing and will be removed in a later release.
#
# See:
# https://bugs.debian.org/858528
# https://bugs.debian.org/863801