marc tobias 8e2b5d7ce3 query the last updated timestamp only if output format is HTML		2016-03-02 01:22:19 +01:00
..
html-footer.php	spaces-to-tabs for all *.php files	2016-02-27 00:02:20 +01:00
html-header.php	details.php now also responsive	2016-01-15 17:11:12 +01:00
html-top-navigation.php	query the last updated timestamp only if output format is HTML	2016-03-02 01:22:19 +01:00
introduction.php	more detailed introduction	2016-01-24 09:22:49 +01:00
report-errors.php	status after hackweekend London	2016-01-15 17:11:12 +01:00