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