d5cf1ff3eb
Its immediate purpose was influencing the GRUB boot menu *but* the implemented mechanism is actually a part of the long planned text branding and might be further merged into branding when hierarchical features finally chime in. So let's get the naming straight before it breeds.
4 lines
42 B
INI
4 lines
42 B
INI
ui menu.c32
|
|
menu title @relname@
|
|
prompt 0
|