diff --git a/.gitignore b/.gitignore index d7b017bc8..5979e6a6e 100644 --- a/.gitignore +++ b/.gitignore @@ -13,6 +13,7 @@ /.gradle/ /.settings/org.eclipse.buildship.core.prefs /build/ +com.ibm.wala.*/out/ com.ibm.wala.cast.java.jdt.test/ com.ibm.wala.cast.java.polyglot/lib/ com.ibm.wala.cast.java.test.data/src/JLex/ diff --git a/.idea/.gitignore b/.idea/.gitignore new file mode 100644 index 000000000..3b866ed2d --- /dev/null +++ b/.idea/.gitignore @@ -0,0 +1,2 @@ +/gradle.xml +/workspace.xml diff --git a/.idea/.name b/.idea/.name new file mode 100644 index 000000000..f15c23b30 --- /dev/null +++ b/.idea/.name @@ -0,0 +1 @@ +com.ibm.wala \ No newline at end of file diff --git a/.idea/misc.xml b/.idea/misc.xml new file mode 100644 index 000000000..12c099175 --- /dev/null +++ b/.idea/misc.xml @@ -0,0 +1,7 @@ + + + + + + + \ No newline at end of file diff --git a/.idea/vcs.xml b/.idea/vcs.xml new file mode 100644 index 000000000..94a25f7f4 --- /dev/null +++ b/.idea/vcs.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties index 16d28051c..e6a30918e 100644 --- a/gradle/wrapper/gradle-wrapper.properties +++ b/gradle/wrapper/gradle-wrapper.properties @@ -1,5 +1,5 @@ distributionBase=GRADLE_USER_HOME distributionPath=wrapper/dists -distributionUrl=https\://services.gradle.org/distributions/gradle-4.7-bin.zip +distributionUrl=https\://services.gradle.org/distributions/gradle-4.7-all.zip zipStoreBase=GRADLE_USER_HOME zipStorePath=wrapper/dists