Christoph 670e7e24fe for linux build

2026-07-11 17:31:16 +02:00

..

settings.json

edit

2026-06-27 23:08:19 +02:00

settings.local.json

for linux build

2026-07-11 17:31:16 +02:00