gradle.properties@1c21d7a9135d
gradle.properties
Sat, 13 Dec 2025 15:08:06 +0100
- author
- Mike Becker <universe@uap-core.de>
- date
- Sat, 13 Dec 2025 15:08:06 +0100
- changeset 403
- 1c21d7a9135d
- parent 147
-
dfec8c5f8db0
- permissions
- -rw-r--r--
fix that clearing a filter manually did not work anymore - fixes #783
kotlin.code.style=official
kotlin.js.generate.executable.default=false