Update bug tracker links to point to GitHub
-rw-r--r-- 233 .htaccess
-rw-r--r-- 620 bugtracker.php.de
-rw-r--r-- 567 bugtracker.php.en
drwxr-xr-x - common
drwxr-xr-x - doc
-rw-r--r-- 3339 documentation.php.de
-rw-r--r-- 3138 documentation.php.en
-rw-r--r-- 1531 download.php.de
-rw-r--r-- 1500 download.php.en
-rw-r--r-- 1150 favicon.ico
drwxr-xr-x - includes
-rw-r--r-- 3042 index.php.de
-rw-r--r-- 2794 index.php.en
-rw-r--r-- 256 mirrors.php
-rw-r--r-- 1120 news.php.de
-rw-r--r-- 988 news.php.en
-rw-r--r-- 12051 platforms.html
-rw-r--r-- 23 robots.txt
-rw-r--r-- 2208 support.php.de
-rw-r--r-- 1962 support.php.en