From fa46d577a24a4bc1b5dd43df604d5da614a2a0a6 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 18 Jul 2024 13:05:35 +0200
Subject: [PATCH] Remove unused custom .gitignore entry

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index ac9b46b75..fa6c2b0e8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,5 +25,4 @@ screenshots/
 tlatools/.gradle
 tlatools/build
 ajcore.*.txt
-local.*
 !**/gradle/wrapper/gradle-wrapper.jar
-- 
GitLab