From 20f521b8d43c004f4e997b52933a6496c70d03c3 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 13 Jan 2020 14:31:55 +0100
Subject: [PATCH] Clean up .gitignore

---
 .gitignore | 28 ++++++++--------------------
 1 file changed, 8 insertions(+), 20 deletions(-)

diff --git a/.gitignore b/.gitignore
index 5e65bb6..d4bdffa 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
-- 
GitLab