From ec48f3d916f4a138cd928f42ef30e4b540abbfa4 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 3 Sep 2024 15:33:54 +0200
Subject: [PATCH] update gitignore

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index cade3bf..e10916a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 *.fuzz
 *.log
 *_tla.txt
+*.dot
-- 
GitLab