Thomas Gelf 11b4661b46 js/history: fix history on initial page ... There is a workaround for a nasty Chrome missbehaviour, however I have no longer been able to reproduce it. Temporarily disabled the workaround, could you please try whether behaviour is better / correct like this? Please also check for requests firing twice on initial page load. refs #6277		2014-06-05 03:40:43 +00:00
..
css	CSS: Try to make PDFs look better	2014-06-05 03:25:00 +00:00
img	Demo Vagrant box is looking for a tux - here you go ;)	2014-03-08 12:06:28 +01:00
js	js/history: fix history on initial page	2014-06-05 03:40:43 +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	packaging/configuration: get rid of _ENV	2014-06-04 21:08:49 +00:00