From 704eb416e27ca3587f0531c7df7de5a825cfa818 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 11 Jun 2019 08:15:05 +0200
Subject: [PATCH] more ignorance

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

diff --git a/.gitignore b/.gitignore
index 74b7efd..6f30d36 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,5 @@ auto
 *.out
 *.run.xml
 *.synctex.gz
+*.pdf 
+*.ps
-- 
GitLab