2023-05-17 22:17:15 +02:00
|
|
|
# Warning, "version" should be the same in gradle.properties and Version.java
|
|
|
|
# Any idea anyone how to magically synchronize those :-) ?
|
2023-10-22 10:33:24 +02:00
|
|
|
version = 1.2023.13beta1
|
2023-05-15 18:37:07 +02:00
|
|
|
org.gradle.workers.max = 3
|