diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/gradle/wrapper/gradle-wrapper.properties')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/gradle/wrapper/gradle-wrapper.properties | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/gradle/wrapper/gradle-wrapper.properties b/org.eclipse.viatra.solver.language.parent/gradle/wrapper/gradle-wrapper.properties new file mode 100644 index 00000000..f04d6a20 --- /dev/null +++ b/org.eclipse.viatra.solver.language.parent/gradle/wrapper/gradle-wrapper.properties | |||
@@ -0,0 +1,5 @@ | |||
1 | distributionBase=GRADLE_USER_HOME | ||
2 | distributionPath=wrapper/dists | ||
3 | distributionUrl=https\://services.gradle.org/distributions/gradle-5.6.3-bin.zip | ||
4 | zipStoreBase=GRADLE_USER_HOME | ||
5 | zipStorePath=wrapper/dists | ||