Johannes Meyer 617d43daa4 css: Make it easier for browsers to render state-balls circular		2019-02-27 10:22:50 +01:00
..
css	css: Make it easier for browsers to render state-balls circular	2019-02-27 10:22:50 +01:00
img	public/img/op_*.png: remove obsolete images	2014-11-30 10:38:12 +01:00
js	js: Suspend Web 2's autorefresh while dragging items	2019-02-25 15:50:42 +01:00