repo/core/grub/sources

https://ftp.gnu.org/gnu/grub/grub-2.12.tar.xz grub-pc
https://ftp.gnu.org/gnu/grub/grub-2.12.tar.xz grub-efi
files/grub.default
files/help2man
patches/no-asorti.patch
grub: 2.12 2024-02-05 06:32:19 +00:00			`https://ftp.gnu.org/gnu/grub/grub-2.12.tar.xz grub-pc`
			`https://ftp.gnu.org/gnu/grub/grub-2.12.tar.xz grub-efi`
grub: revert 2.04 2019-08-11 01:38:27 +00:00			`files/grub.default`
grub: enable manual pages I wrote a posix shell help2man that can be used in place of the GNU perl based implementation. Output is not 1:1 (nor will it ever be). Some formatting is not yet applied, this will be fixed over time. For now this gives us manuals where there weren't any. 2021-08-22 09:40:06 +00:00			`files/help2man`
grub: 2.12 2024-02-05 06:32:19 +00:00			`patches/no-asorti.patch`