Jerzy Grzegorek 086f333f39 Normalize separator size to 80 12 lat temu
..
Config.in ec9ec06b56 boot: get rid of toplevel submenus 14 lat temu
xloader.mk 086f333f39 Normalize separator size to 80 12 lat temu