From 8895cb292924c6778b2539339b68e660414eb2c2 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 30 Jan 2018 20:09:35 +0100
Subject: [PATCH] new

---
 nlsem-framework/.gitignore | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 nlsem-framework/.gitignore

diff --git a/nlsem-framework/.gitignore b/nlsem-framework/.gitignore
new file mode 100644
index 0000000..07e82df
--- /dev/null
+++ b/nlsem-framework/.gitignore
@@ -0,0 +1,17 @@
+*-blx.bib
+*.rel
+*.toc
+*.aux
+*.log
+*.out
+*.run.xml
+*.synctex.gz
+*.bbl
+*.blg
+auto
+.DS_Store
+*.pdf
+*.pdata
+_region_.tex
+!/doc/lib/
+!doc/lib/**
-- 
GitLab