Grub Customizer - a graphical grub2 settings manager

History of question #194371

When Who Action New State
2012-04-22 Daniel Richter Answer Answered
2012-04-28 Herman Felderhof Comment Answered