mintsuki 3876645dd9 build: wget -> curl		2021-07-06 00:02:28 +02:00
..
elf.h	build: Ship elf.h for gnu-efi ourselves	2021-07-05 23:00:51 +02:00
make_toolchain.sh	build: wget -> curl	2021-07-06 00:02:28 +02:00