Armin Schrenk c45a00377d Merge branch 'develop' into feature/mount-provider vor 2 Jahren
..
appimage 6325c6f450 fixed java options required for panama vor 2 Jahren
common d8b71db8e5 bump metainfo.xml vor 2 Jahren
debian c45a00377d Merge branch 'develop' into feature/mount-provider vor 2 Jahren
resources 9e66f4b93e Release to PPA (#1791) vor 3 Jahren
launcher-gtk2.properties 6325c6f450 fixed java options required for panama vor 2 Jahren
launcher.sh 6325c6f450 fixed java options required for panama vor 2 Jahren