From ef33ff0205c4a0bd5279286ee80bad795e9d341b Mon Sep 17 00:00:00 2001
From: Kerl13 <martin.pepin@netcourrier.com>
Date: Thu, 24 Mar 2016 20:53:44 +0100
Subject: [PATCH] update .gitignore

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

diff --git a/.gitignore b/.gitignore
index 1192926..f53dd5f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,6 @@
 *.pandoc.pdf
+dist/
+filters/*.hi
+filters/*.o
+filters/usual-fun
+filters/nice-frac