Sebastian Stenzel 6c6f6baf12 Update to JDK 17 (#1828) ...

fixes #1404

2021-10-08 14:59:24 +02:00

..

appimage

Fixes #1814

2021-09-27 18:50:26 +02:00

debian

Update to JDK 17 (#1828)

2021-10-08 14:59:24 +02:00

resources

Release to PPA (#1791)

2021-09-16 13:01:34 +02:00

launcher.sh

restructured dist/ dir

2021-07-22 14:09:06 +02:00