Merge pull request #3283 from christophsturm/gradle-sources

use gradle dist with sources for better IDE experience.
This commit is contained in:
sqrrm 2019-09-19 11:52:45 +02:00 committed by GitHub
commit bff731f272
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,6 @@
#Tue Sep 17 15:23:24 CEST 2019
distributionUrl=https\://services.gradle.org/distributions/gradle-4.10.2-all.zip
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-4.10.2-bin.zip
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists
zipStoreBase=GRADLE_USER_HOME