From fdffd7cdfb3a766e0290577b03c9a859e5030195 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 19 Jul 2024 12:37:43 +0200
Subject: [PATCH] Ignore Gradle build directories regardless of location

---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index a8e24ffc7..3f5754205 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,8 +25,8 @@ states
 tlatools/states
 .DS_Store
 screenshots/
-tlatools/.gradle
-tlatools/build
+.gradle
+build
 !**/gradle/wrapper/gradle-wrapper.jar
 ajcore.*.txt
 tlatools/test-model/CodePlexBug08/checkpoint/
-- 
GitLab