From 53e00d0c36ee52d441ee4cd24c73d7da64a27396 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 | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 004eee6..12b5b8f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,7 +3,6 @@
 *.tmp
 errors
 *~
-*.sms
 *.omdoc
 *.pdf
 *.errlog
@@ -20,7 +19,6 @@ errors
 *.log
 *.toc
 *.aux
-localpaths.tex
 auto
 *.nav
 *.snm
-- 
GitLab