Fix header
[infodrom.org/infocon.infodrom.org] / src / submenu.inc
1 <menu-item base="infos/linux" text="Linux">
2 <menu-item base="infos/debian" text="Debian">
3 <menu-item base="kontakt" text="Kontakt">
4