Ilya Bizyaev ed2fb0bcb8 Change task panel icons ... Use simpler icons. paint-none will have to be replaced in the future, but we do not have any similar icons with better names now.		2019-02-08 11:20:43 +01:00
..
config	add missing files	2017-09-05 17:09:50 +02:00
ui	Change task panel icons	2019-02-08 11:20:43 +01:00