Rob 745c2f4bc4 remove images unused since 2015 and 2018 (#4398)		2022-05-06 20:03:04 +02:00
..
css	update dist files to latest release (v3.2)	2022-02-07 21:33:09 +01:00
img	remove images unused since 2015 and 2018 (#4398)	2022-05-06 20:03:04 +02:00
js	Replacement of color variable value prefix. (#4256)	2022-03-03 23:46:17 +01:00