From f3a256dfa5a327a2760849338f05673b9c9e70ba Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 13 May 2018 01:03:33 +0200
Subject: Cleanup expression compiler; write basic report

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index d56598b..e8a31b4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,10 @@
+# Coq
 *.v#
+
+# TeX
+*.aux
+*.fdb_latexmk
+*.fls
+*.log
 *.pdf
+_minted*/
-- 
cgit v1.2.3