Gábor Stefanik 8c67b9ee9c Drop non-reproducible manpage from Grub package ... This embeds the type of the building system's firmware at build time, causing different checksums on UEFI vs BIOS machines. Fixes #463		2024-04-19 00:19:29 +02:00
..
import-gnulib.sh	Support reboot in non-chroot modes using grub and an init script	2024-02-04 16:54:13 +01:00
pass1.sh	Drop non-reproducible manpage from Grub package	2024-04-19 00:19:29 +02:00
sources	Add files.bootstrapping.world mirrors for all Savannah snapshots	2024-04-15 02:11:05 +02:00