Jeremy Gardais 2792fb288e Add an UEFI entry to manage specific partitions (see #16).		2017-11-30 15:09:42 +01:00
..
debian	Add an UEFI entry to manage specific partitions (see #16).	2017-11-30 15:09:42 +01:00