This repository has been archived on 2023-03-25. You can view files and clone it, but cannot push or open issues or pull requests.

Mario Voigt 2b217f1342 add option to round up colors in cleanup styles extension		2022-01-06 20:38:17 +01:00
..
fablabchemnitz	add option to round up colors in cleanup styles extension	2022-01-06 20:38:17 +01:00