Johannes Meyer 4974f582d3 Add page titles ... refs #7163		2014-11-11 15:27:14 +01:00
..
css	Add page titles	2014-11-11 15:27:14 +01:00
img	Use an icon with better interpolation in our header bar	2014-09-04 17:41:48 +02:00
js	Fix that FireFox < v33 is unable to find the button that got the focus	2014-11-07 14:22:03 +01:00
index.php	Remove license headers from all files	2014-07-15 13:43:52 +02:00