From 2774d9fc67cd5d18fbc9b892fda9c05118272a7a Mon Sep 17 00:00:00 2001
From: Agathe Porte <microjoe@microjoe.org>
Date: Fri, 9 Feb 2018 13:32:31 +0100
Subject: Live compilation support

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index adc9640..49e926e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,6 @@
 *.out
 *.toc
 *.xdy
+*.tns
+*.pdf
+*.dvi
-- 
cgit v1.2.3