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
grub1.patches.sh
symlink.patch
trusted.nix