Alexander Epaneshnikov eaa2f8ae78 change grub init tune ... yes it was descriptive but too large. this fixes #180		2022-06-18 15:53:03 +03:00
..
grub.cfg	change grub init tune	2022-06-18 15:53:03 +03:00