Matt DeVillier 94f7f98022
gui-init: update Settings, Boot Options menu text
'Options' makes more sense than 'Settings' given the submenu's contents.
Tidy up Boot Options as well

Signed-off-by: Matt DeVillier <matt.devillier@puri.sm>
2019-07-12 11:51:17 -05:00
..
2019-04-15 15:05:03 -07:00
2019-06-25 10:00:54 -05:00
2019-04-19 08:35:01 -07:00
2017-04-05 17:59:49 -04:00
2019-04-16 12:55:00 -07:00
2017-09-02 14:13:29 -04:00