From 1937c82650c894369e7fa8cee28e6361bf489a37 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Fri, 16 Nov 2018 17:35:41 +0100
Subject: [PATCH] .gitignore: Add .pdf and .tex

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

diff --git a/.gitignore b/.gitignore
index ee7737a..971829e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,5 @@ valmari_fig4/benchmark.tmp
 valmari_fig4/benchmarks.png
 prism/bench/
 dfa/bench/
+*.pdf
+*.tex
-- 
GitLab