Armin Schrenk be7b265a00 Merge branch 'main' into develop ...

# Conflicts:
#	pom.xml

2023-08-07 10:27:13 +02:00

..

appimage

Merge branch 'develop' into libappindicator

2023-07-26 14:18:42 +02:00

common

Merge branch 'main' into develop

2023-08-07 10:27:13 +02:00

debian

Merge branch 'develop' into libappindicator

2023-07-26 14:18:42 +02: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