Ooops! It's 2019 already
-rw-r--r-- 9 .gitignore
-rw-r--r-- 975 .htaccess
-rw-r--r-- 622 bugtracker.php.de
-rw-r--r-- 569 bugtracker.php.en
drwxr-xr-x - common
-rw-r--r-- 3300 documentation.php.de
-rw-r--r-- 3099 documentation.php.en
-rw-r--r-- 1302 download.php.de
-rw-r--r-- 1290 download.php.en
-rw-r--r-- 1150 favicon.ico
drwxr-xr-x - includes
-rw-r--r-- 2095 index.php.de
-rw-r--r-- 1885 index.php.en
-rw-r--r-- 294 mirrors.php
-rw-r--r-- 1120 news.php.de
-rw-r--r-- 988 news.php.en
-rw-r--r-- 11964 platforms.html
-rw-r--r-- 23 robots.txt
-rw-r--r-- 1893 support.php.de
-rw-r--r-- 1691 support.php.en