Ignore and delete Gradle build directories

7e3d6051 · dgelessus · 0a3e7945 · 7e3d6051 · 0a3e7945 · 0a3e7945
Commit 7e3d6051 authored 1 year ago by dgelessus
--- a/.gitignore
+++ b/.gitignore
 /bin/
 /src/org/eventb/internal/core/typecheck/TypeUnifier.java
+.gradle
 SubParsers.patch
+build
 local.*
--- a/.gradle/2.4/taskArtifacts/cache.properties
+++ b/.gradle/2.4/taskArtifacts/cache.properties
-#Thu Aug 06 10:04:40 CEST 2015
--- a/.gradle/2.4/taskArtifacts/cache.properties.lock
+++ b/.gradle/2.4/taskArtifacts/cache.properties.lock
--- a/.gradle/2.4/taskArtifacts/fileHashes.bin
+++ b/.gradle/2.4/taskArtifacts/fileHashes.bin
--- a/.gradle/2.4/taskArtifacts/fileSnapshots.bin
+++ b/.gradle/2.4/taskArtifacts/fileSnapshots.bin
--- a/.gradle/2.4/taskArtifacts/outputFileStates.bin
+++ b/.gradle/2.4/taskArtifacts/outputFileStates.bin
--- a/.gradle/2.4/taskArtifacts/taskArtifacts.bin
+++ b/.gradle/2.4/taskArtifacts/taskArtifacts.bin