OMGeeky c43b8464a2 save .workspace as json ...

(under .workspace.json)

falls back on old .workspace implementation

2025-06-24 23:27:38 +02:00

..

JsonPrettyWriter.java

reformat all code

2025-06-21 18:36:37 +02:00

JsonSerializable.java

save .workspace as json

2025-06-24 23:27:38 +02:00

SettingsSave.java

reformat all code

2025-06-21 18:36:37 +02:00