Adrien Bourmault 25b5eb6c78 Cleanup in boot		2020-01-15 16:26:44 +01:00
..
grub	Unroot the makefile, enhancements !	2019-11-11 18:32:22 +01:00
loader	Cleanup in boot	2020-01-15 16:26:44 +01:00
folder.desc	clean-up	2019-03-08 09:44:09 +01:00