Benjamin Hipple 4e7c822dc6 grub: fetch from HTTPS instead of FTP; update meta (#48137) ... HTTPS is unlikely to be worse and is often better than FTP. Aside from being faster, there are many networking setups where outgoing FTP traffic is blocked.		2018-10-10 22:25:14 +02:00
..
pvgrub_image
2.0x.nix
buggybios.patch
default.nix	grub: fetch from HTTPS instead of FTP; update meta (#48137)	2018-10-10 22:25:14 +02:00
fix-bash-completion.patch
grub1.patches.nix	grub: grub-0.97-patch-1.15 -> grub-0.97-73	2018-09-17 09:31:36 -04:00
grub1.patches.sh	grub: grub-0.97-patch-1.15 -> grub-0.97-73	2018-09-17 09:31:36 -04:00
symlink.patch
trusted.nix