Wed, 11 Mar 2020 10:59:34 +0100 |
Tom Gottfried |
Close branch wmst-config
wmst-config
|
Wed, 11 Mar 2020 10:58:53 +0100 |
Tom Gottfried |
Merge wmst-config into default
|
Wed, 11 Mar 2020 10:38:33 +0100 |
Sascha Wilde |
Bumped (development) version.
|
Tue, 10 Mar 2020 16:30:40 +0100 |
Sascha L. Teichmann |
Merged default into wmst-config branch.
wmst-config
|
Tue, 10 Mar 2020 10:27:38 +0100 |
Sascha L. Teichmann |
Cosmetics: sharpen type knife a bit.
wmst-config
|
Mon, 09 Mar 2020 14:40:27 +0100 |
Tom Gottfried |
Set default value for time dimension on published services
wmst-config
|