3 Commits

Author SHA1 Message Date
Michael Zanetti
9b07216768 Add system api to configure the system time
This gets rid of the locally kept time zone which caused issues
in plugins and the ScriptEngine.
2019-12-15 12:44:14 +01:00
Michael Zanetti
07cd3d9481 add license headers 2019-05-13 19:52:20 +02:00
Michael Zanetti
02b97a686e Simplify it a bit 2019-05-10 01:31:26 +02:00