From dc119b237fa193da0d33c9c2f96a9de5fe8c8d78 Mon Sep 17 00:00:00 2001
From: Phuntsok Drak-pa <phundrak@phundrak.fr>
Date: Sun, 8 Sep 2019 14:03:10 +0200
Subject: [PATCH] updated gitignore file

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

diff --git a/.gitignore b/.gitignore
index b817c54..6f12189 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ _minted*
 /ignored-folder
 /js/.tern-port
 *.pdf_tex
+*.lot