Markus 32f9653a6d Prepare for merge

2018-02-24 16:53:17 +01:00

..

index.html

Move navbar CSS to its own file

2018-02-10 15:04:57 +01:00

index.php

Workaround for PHP 5

2018-02-13 19:10:47 +01:00