shortlog
| Fri, 23 Oct 2020 12:38:20 +0200 | Mike Becker | removes (now) unnecessary possibility to customize the main menu | changeset | files |
| Fri, 23 Oct 2020 12:26:08 +0200 | Mike Becker | highlight passed ETA - fixes #23 | changeset | files |
| Fri, 23 Oct 2020 12:38:20 +0200 | Mike Becker | removes (now) unnecessary possibility to customize the main menu | changeset | files |
| Fri, 23 Oct 2020 12:26:08 +0200 | Mike Becker | highlight passed ETA - fixes #23 | changeset | files |