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