From ec0115e462a7dfd80228889c2bd23f2aac7377ea Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 18 Jul 2024 13:53:00 +0200
Subject: [PATCH] Reorder .gitignore to simplify future merges

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index fa6c2b0e8..3fd0c318f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,5 +24,5 @@ states/
 screenshots/
 tlatools/.gradle
 tlatools/build
-ajcore.*.txt
 !**/gradle/wrapper/gradle-wrapper.jar
+ajcore.*.txt
-- 
GitLab