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