From 667e7b9916d04039ad4502d5055499f6a057d75a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sun, 18 Oct 2020 11:54:11 +0200
Subject: [PATCH] cleanup_gitignore

---
 .gitignore | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 43d178e..7055d7b 100755
--- a/.gitignore
+++ b/.gitignore
@@ -7,7 +7,6 @@ content
 *.rel
 *.nav
 *.snm
-*.sms
 *.omdoc
 *.pdf
 *.errlog
@@ -25,7 +24,6 @@ content
 *.log
 *.toc
 *.aux
-localpaths.tex
 _region_.tex
 comment.cut
 auto
@@ -34,4 +32,4 @@ all.*.tex
 .!*.tex
 *.clog
 .DS_Store
-*~
\ No newline at end of file
+*~
-- 
GitLab