From 9778cad1013c8beac89ddb8b25884c9c73cc5b59 Mon Sep 17 00:00:00 2001
From: Isabell Pflug <isabell.pflug@uni-jena.de>
Date: Wed, 26 Feb 2025 23:19:21 +0100
Subject: [PATCH] :see_no_evil: Ignoring pdf files now too.

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

diff --git a/.gitignore b/.gitignore
index 6d338e8..ea12c03 100644
--- a/.gitignore
+++ b/.gitignore
@@ -51,13 +51,13 @@ resources/
 .*.lb
 
 ## Intermediate documents:
+*.pdf
 *.dvi
 *.xdv
 *-converted-to.*
 # these rules might exclude image files for figures etc.
 # *.ps
 # *.eps
-# *.pdf
 
 ## Generated if empty string is given at "Please type another file name for output:"
 .pdf