Romein van Buren cc1f67af45 CI: create-dmg doesn't seem to work on Ventura. Disabling it for the time being.		2023-06-04 17:33:20 +02:00
..
ci_generate.sh	CI: create-dmg doesn't seem to work on Ventura. Disabling it for the time being.	2023-06-04 17:33:20 +02:00
dmg_background.png	Extract CI scripts to files. macOS: generate DMG	2023-06-04 17:11:13 +02:00
Info.dev.plist	Updated metadata	2023-06-02 22:42:17 +02:00
Info.plist	Updated metadata	2023-06-02 22:42:17 +02:00