Ralph Plawetzki 641b21a144 Symbolic icons for the ppa

2023-06-02 06:31:35 +02:00

..

appimage

Set icons by icon name

2023-05-29 15:55:01 +02:00

common

Rename icons and bring them in place

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

debian

Symbolic icons for the ppa

2023-06-02 06:31:35 +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