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

DieGurke 286f487fc9 Fixed not updating theme when editing active theme bug.		2019-12-27 17:34:28 +01:00
..
java/envoy/client	Fixed not updating theme when editing active theme bug.	2019-12-27 17:34:28 +01:00
resources	Refined theme customization mechanism	2019-12-21 00:29:16 +01:00