Thomas Gelf 681cdee68d Move hover menu downward ... fixes #6169		2014-05-09 10:15:00 +00:00
..
css	Move hover menu downward	2014-05-09 10:15:00 +00:00
img	Demo Vagrant box is looking for a tux - here you go ;)	2014-03-08 12:06:28 +01:00
js	Do not change browser title on autorefresh	2014-05-09 10:13:49 +00:00
.gitignore	Fix config path in index.php (generate with configure).	2013-10-22 10:57:15 +02:00
.htaccess.in	Clean up .htaccess	2014-03-27 07:39:30 +00:00
index.php.in	Simplify pre-bootstrapping web routing	2014-03-27 07:25:53 +00:00