Jing Luo d5f6908ed4 tree-wide: shorten the distro name in the nav bar vor 5 Monaten
..
maintainer d5f6908ed4 tree-wide: shorten the distro name in the nav bar vor 5 Monaten
sysadmin d5f6908ed4 tree-wide: shorten the distro name in the nav bar vor 5 Monaten
webmaster d5f6908ed4 tree-wide: shorten the distro name in the nav bar vor 5 Monaten
index.html cf6a6d0edf Restore distro name, removing a stupid condition for the website vor 5 Monaten