Ralph Plawetzki 8c05c774bf Remove unneeded cp launcher.sh

2023-05-25 18:15:39 +02:00

..

appimage

Remove unneeded cp launcher.sh

2023-05-25 18:15:39 +02:00

common

Rename icons and bring them in place

2023-05-25 11:23:24 +02:00

debian

Rename icons and bring them in place

2023-05-25 11:23:24 +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