os-k/boot/grub
Adrien Bourmault 2623fc2d77 kaleid is remade if there is an error 2019-05-12 20:30:53 +02:00
..
create_disk.sh stuff 2019-03-24 00:14:41 +01:00
grub-install.sh clean the makefile and the root directory 2019-04-01 11:40:58 +02:00
grub.cfg timeout changed 2019-04-06 21:21:34 +02:00
mount.sh kaleid is remade if there is an error 2019-05-12 20:30:53 +02:00
multiboot.pdf Stuff 2019-03-19 12:24:27 +01:00
umount.sh Merging from master (#34) 2019-03-11 19:22:37 +01:00