Sat, 09 May 2020 14:26:31 +0200 | Mike Becker | converts to maven project | changeset | files |
Sun, 08 Apr 2018 16:51:15 +0200 | Mike Becker | smaller main menu with better main menu buttons | changeset | files |
Sun, 08 Apr 2018 16:41:02 +0200 | Mike Becker | removes caching of main menu | changeset | files |
Sun, 08 Apr 2018 15:34:11 +0200 | Mike Becker | Module names and descriptions + some more styling | changeset | files |
Sun, 08 Apr 2018 14:41:10 +0200 | Mike Becker | adds default anonymous user | changeset | files |
Sun, 08 Apr 2018 14:40:57 +0200 | Mike Becker | updates copyright header | changeset | files |
Sat, 07 Apr 2018 23:01:58 +0200 | Mike Becker | global table style | changeset | files |
Sun, 01 Apr 2018 18:25:31 +0200 | Mike Becker | minor changes to logging output | changeset | files |