Search results for "linux+mint"

1.

GRUB2 Editor

System Tools (NOT OS or ROMS) by artemisfowl2007
* Manage boot menu colors * Manage boot menu theme * Manage linux kernel arguments * Save and update
8.2
Jul 25 2018