Johannes Meyer 23c36898da Rename css class "info" to "info-box" and add it as generic box ... refs #8274		2015-01-27 14:05:41 +01:00
..
css	Rename css class "info" to "info-box" and add it as generic box	2015-01-27 14:05:41 +01:00
img	Use an icon with better interpolation in our header bar	2014-09-04 17:41:48 +02:00
js	Re-render menu item after setting class to active	2014-12-29 16:21:10 +01:00
error_norewrite.html	Webserver\Apache2: show hint with no mod_rewrite	2014-11-11 22:02:40 +01:00
index.php	Do not try to detect the library path in index.php	2014-11-12 15:41:04 +01:00