diff --git a/.gitignore b/.gitignore
index 5e65bb679c3ae5c490c25e0f1b27482582256b67..d4bdffae30aa5418f42878ff2f05f9ba6adea816 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,23 +1,11 @@
-local.*
-/bin
-/build
-/gradle
-/gradlew
-/gradlew.bat
-/settings.gradle
-/temp
-/.gradle
-build.xml
+# Gradle
+/.gradle/
+/build/
+
+# Eclipse
 .classpath
-.DS_Store
-.gitignore
 .project
-.settings/org.eclipse.jdt.core.prefs
-src/main/java/.DS_Store
-TODO.txt
-Club_tla.mch
-testing
-Club.prob
+.settings/
+
+# Build output
 TLA2B.jar
-src/test/resources/test
-src/test/resources/bugs