schroda b4d37f9ba2 Make sure "UserConfig" is up-to-date (#590) ...

Currently, the "UserConfig" was created in case it was missing.
But in case settings changed (added/removed), an already existing "UserConfig" never reflected these changes and thus, was out of date

2023-07-02 19:18:08 +03:30

..

src

Make sure "UserConfig" is up-to-date (#590)

2023-07-02 19:18:08 +03:30

build.gradle.kts

improve zip parsing (#569)

2023-06-05 14:31:14 +03:30