From 99f7d4e74472b36729efc3308f59072739f317f9 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 28 Apr 2020 14:34:34 +0200
Subject: [PATCH] Clean up .gitignore

Remove unneeded entries and sort remaining ones.
---
 .gitignore | 22 ++++++----------------
 1 file changed, 6 insertions(+), 16 deletions(-)

diff --git a/.gitignore b/.gitignore
index 81007ca..272dd3d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,19 +1,9 @@
+# Gradle
+.gradle/
 build/
-ParserAspects/
-bin/
+
+# Eclipse
 .classpath
 .project
-.settings/org.eclipse.jdt.core.prefs
-.gradle/
-logs/
-*.swp
-*.log
-*~
-! .gitkeep
-.DS_Store
-tmp/
-PROB_LOGFILE_IS_UNDEFINED
-.settings/org.eclipse.jdt.ui.prefs
-src/main/resources/build.properties
-config.groovy
-local.*
+.settings
+/bin/
-- 
GitLab