| Fri, 10 Apr 2020 22:50:59 +0100 | paulson | more removal of applys | changeset | files |
| Thu, 09 Apr 2020 21:58:34 +0200 | wenzelm | avoid hard-wired stuff: configure via plugin services; | changeset | files |
| Thu, 09 Apr 2020 21:50:00 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 09 Apr 2020 14:35:36 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Apr 2020 20:38:06 +0200 | wenzelm | clarified init of settings vs. services; | changeset | files |
| Wed, 08 Apr 2020 20:22:50 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 08 Apr 2020 14:52:54 +0200 | wenzelm | merged | changeset | files |