Wed, 11 Mar 2020 11:35:23 +0100 |
Tom Gottfried |
Merge wmst-config into default after accidentaly re-opening the branch
|
Wed, 11 Mar 2020 11:24:20 +0100 |
Tom Gottfried |
Amend trigger function
wmst-config
|
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
|