From 11eae7533548e4d49a054b368535f1eb45b387eb Mon Sep 17 00:00:00 2001
From: chhan11 <zbcchhan11@zbc.dk>
Date: Sun, 4 Jun 2017 22:52:30 +0200
Subject: [PATCH] gitignore

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

diff --git a/.gitignore b/.gitignore
index 87836be..4297af2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
 
 main\.glsdefs
+
+main\.synctex\.gz\(busy\)