grub

Name	Last modified	Size
Parent Directory		-
0001-00_header-add-GRUB_COLOR_-variables.patch	2023-12-21 16:26	1.1K
0001-skip-new-and-orig-files-in-etc-grub.d.patch	2024-01-02 16:45	444
0003-support-dropins-for-default-configuration.patch	2023-12-21 16:30	766
0004-initrd_fallback_name.patch	2024-07-30 17:36	917
0005-GRUB_DISPLAY_KERNEL_FILETYPES.patch	2024-07-30 17:56	1.0K
0006-warn-grub.d-overwrites-docs.patch	2024-09-10 18:51	638
0198-align-struct-efi_variable-better.patch	2018-05-16 12:18	1.1K
09_slackware_linux	2024-06-27 15:41	6.4K
10_linux.osname.patch	2024-07-24 16:14	616
b835601c7639ed1890f2d3db91900a8506011a8e.patch	2023-12-21 04:17	1.3K
doinst.sh	2024-09-11 14:38	1.0K
etc.default.grub	2024-07-30 18:02	1.7K
grub-2.12.tar.xz	2023-12-20 13:53	6.4M
grub-2.12.tar.xz.sig	2023-12-20 13:53	566
grub.dejavusansmono.gfxterm.font.diff	2016-12-25 06:49	1.4K
grub.SlackBuild	2024-09-10 18:48	8.9K
slack-desc	2023-12-21 16:34	721
update-grub	2024-06-26 15:21	431