Matthias Jentsch 6ba86619bc Assure that the history is updated when calling 'rendered' ... fixes #9819		2015-08-11 17:41:24 +02:00
..
css	…
font	…
img	…
js	…
error_norewrite.html	…
index.php	…