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
|
baaa719b6a
|
Restructuring json done
|
2019-11-01 20:55:45 +01:00 |
|
Michael Zanetti
|
5e3bc2acbd
|
Drop JsonTypes class by distributing logic to json handlers
This is required in order to be able to be more flexible in registering
new types/methods.
|
2019-11-01 20:46:55 +01:00 |
|
Michael Zanetti
|
11efbdd1a8
|
fix repositoryRemoved notification
|
2019-05-23 05:34:40 +02:00 |
|
Michael Zanetti
|
2e2e86d68a
|
Documentation and finetuning
|
2019-05-20 22:52:35 +02:00 |
|
Michael Zanetti
|
afa1126e6e
|
More work on the system management api
|
2019-05-18 00:51:51 +02:00 |
|
Michael Zanetti
|
07cd3d9481
|
add license headers
|
2019-05-13 19:52:20 +02:00 |
|
Michael Zanetti
|
10d2888916
|
add missing namespace
|
2019-05-10 12:49:37 +02:00 |
|
Michael Zanetti
|
02b97a686e
|
Simplify it a bit
|
2019-05-10 01:31:26 +02:00 |
|
Michael Zanetti
|
3944e94699
|
Initial work on an integrated system update mechanism
|
2019-05-02 12:14:16 +02:00 |
|