From c237aefaf49cb6a7f135503cacb839b5594a089b Mon Sep 17 00:00:00 2001
From: Steven Lange <langestx@informatik.hu-berlin.de>
Date: Sun, 12 Nov 2017 20:10:01 +0100
Subject: [PATCH] .gitignore Update (2/2)

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

diff --git a/.gitignore b/.gitignore
index 6d6480d5..4ae6d7d1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,7 @@
 *.log
 *.out
 *.run.xml
-
+*.sybctex.gz
 *.toc
 *.xdy
 doc/**/*.pdf
-- 
GitLab