| Wed, 15 Jul 2020 16:28:26 +0200 | wenzelm | merged | changeset | files |
| Wed, 15 Jul 2020 16:10:43 +0200 | wenzelm | clarified user counters: expose tasks to external monitor; | changeset | files |
| Wed, 15 Jul 2020 12:43:36 +0200 | wenzelm | proper platform path for Windows; | changeset | files |