Fixing a bug: completing reachability graph with missing past traces.
[jpf-core.git] / gradle / wrapper / gradle-wrapper.properties
1 distributionBase=GRADLE_USER_HOME
2 distributionPath=wrapper/dists
3 distributionUrl=https\://services.gradle.org/distributions/gradle-5.4.1-bin.zip
4 zipStoreBase=GRADLE_USER_HOME
5 zipStorePath=wrapper/dists