2023-05-17 20:17:15 +00:00
|
|
|
# Warning, "version" should be the same in gradle.properties and Version.java
|
|
|
|
# Any idea anyone how to magically synchronize those :-) ?
|
2023-07-12 15:46:57 +00:00
|
|
|
version = 1.2023.10beta3
|
2023-05-15 16:37:07 +00:00
|
|
|
org.gradle.workers.max = 3
|