hippoz 80b8ad3fce add os name to grub config		2022-02-24 21:58:36 +02:00
..
grub.cfg	add os name to grub config	2022-02-24 21:58:36 +02:00