6 Commits

Author	SHA1	Message	Date
marc tobias	da4a2b7b6e	UI: scrollwheel, minimap	2017-10-21 13:24:02 +02:00
Marc Tobias Metten	832547f192	tabs-to-spaces	2016-09-04 03:19:48 +02:00
marc tobias	8e2b5d7ce3	query the last updated timestamp only if output format is HTML	2016-03-02 01:22:19 +01:00
Marc Tobias Metten	78a29b5a87	spaces-to-tabs for all *.php files	2016-02-27 00:02:20 +01:00
marc tobias	513efecc34	user interface: less whitespace in header	2016-01-21 12:03:19 +00:00
Marc Tobias Metten	f2a2c29815	responsive details-error page. Shared header and footer	2016-01-19 12:29:07 +01:00