Armin Schrenk 24d472ed8b Merge branch 'develop' into feature/mount-provider ...

# Conflicts:
#	dist/linux/appimage/build.sh
#	dist/linux/debian/rules

2023-01-11 16:01:27 +01:00

..

appimage

Hello 2023 🎉

2023-01-04 13:35:58 +01:00

common

update metainfo

2022-12-14 20:02:12 +01:00

debian

Hello 2023 🎉

2023-01-04 13:35:58 +01:00

resources

Release to PPA (#1791)

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

launcher-gtk2.properties

fixed java options required for panama

2022-11-25 14:42:18 +01:00

launcher.sh

fixed java options required for panama

2022-11-25 14:42:18 +01:00