From 8e652630932b2242be5ea6a6247e7c0e81af0f05 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 25 Feb 2023 11:01:58 +0000
Subject: [PATCH] Ignore generated latex-outputs in test session.

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

diff --git a/.gitignore b/.gitignore
index a0e989c..ebb155b 100755
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@ output
 .afp
 *~
 *#
+Isabelle_DOF-Unit-Tests/latex_test/