From 1dda8ded0c43ecddee9bdb73430784e2f898b3c5 Mon Sep 17 00:00:00 2001
From: Stefan Brass <stefan.brass@informatik.uni-halle.de>
Date: Thu, 29 Aug 2024 16:04:56 +0200
Subject: [PATCH] .gitignore

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

diff --git a/.gitignore b/.gitignore
index b0cd4fa..9980732 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,6 +16,7 @@ tags
 *.old
 *.old2
 *.old3
+*.old3b
 *.old4
 *.old5
 *.bak
-- 
GitLab