Johannes Meyer 1c1572fb56 css: Enhance compatibility with custom themes ... fixes #217		2019-03-01 11:05:17 +01:00
..
css	css: Enhance compatibility with custom themes	2019-03-01 11:05:17 +01:00
img	public/img/op_*.png: remove obsolete images	2014-11-30 10:38:12 +01:00
js	tiles: Also show proper d&d cursors and lock drag during progress	2019-03-01 08:39:20 +01:00