04-04-2015, 10:22 AM
Thanks Rob
This is, of course, not of great importance. But I have installed and looked at Grub-Customizer, as you suggested.
I'm going to start a new thread, however, as I seem to have hijacked my own thread here, and my initial problem is solved...
David
This is, of course, not of great importance. But I have installed and looked at Grub-Customizer, as you suggested.
I'm going to start a new thread, however, as I seem to have hijacked my own thread here, and my initial problem is solved...
David