From 4b720028b0674f44e43a0f2bb11974c905c4be65 Mon Sep 17 00:00:00 2001
From: Jan Benda <jan.benda@uni-tuebingen.de>
Date: Tue, 2 Mar 2021 00:13:59 +0100
Subject: [PATCH] added *.pdf to .gitignore

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

diff --git a/.gitignore b/.gitignore
index a52c048..0ad12d8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,7 +22,7 @@
 # these rules might exclude image files for figures etc.
 # *.ps
 # *.eps
-# *.pdf
+*.pdf
 
 ## Generated if empty string is given at "Please type another file name for output:"
 .pdf