os-k/boot/grub
Adrien Bourmault 901efa0390 INCONSISTENT -- unroot the makefile as much as possible 2019-10-07 17:43:03 +02:00
..
create_disk.sh INCONSISTENT -- unroot the makefile as much as possible 2019-10-07 17:43:03 +02:00
grub-install.sh INCONSISTENT -- unroot the makefile as much as possible 2019-10-07 17:43:03 +02:00
grub.cfg timeout changed 2019-04-06 21:21:34 +02:00
mount.sh INCONSISTENT -- unroot the makefile as much as possible 2019-10-07 17:43:03 +02:00
multiboot.pdf Stuff 2019-03-19 12:24:27 +01:00
umount.sh INCONSISTENT -- unroot the makefile as much as possible 2019-10-07 17:43:03 +02:00