webzwo0i d25cd891ae remove json2, all supported browsers have JSON now (#4198) ... cf. https://developer.mozilla.org/de/docs/Web/JavaScript/Reference/Global_Objects/JSON		2020-07-28 00:52:25 +01:00
..
css	ui: Add a home icon (#4076)	2020-06-03 10:56:24 +01:00
font	ui: Add a home icon (#4076)	2020-06-03 10:56:24 +01:00
js	remove json2, all supported browsers have JSON now (#4198)	2020-07-28 00:52:25 +01:00
skins	UX: Add prefers-reduced-motion query for Colibris skin #4136 (#4137)	2020-06-27 09:49:37 +01:00
favicon.ico	Change favicon to be closer to new style	2020-04-19 18:20:21 +02:00
robots.txt	staleCode: Remove unnecessary robots.txt entry (#4113)	2020-06-14 20:49:13 +01:00
tests.html	make /static/tests.html functional again,	2012-07-07 20:41:26 +02:00