2 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	71f4d4091e	Small fixes for the GRB theme and value substitution	2020-08-27 00:08:00 +02:00
Pieter Vander Vennet	4a0970a71f	Custom themes now stick to the user account and can be revisited, small improvements	2020-08-26 15:36:04 +02:00