From 023c11470e32744a43b7e3c7c248f3c47ebdc687 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 21 Nov 2016 17:06:19 +0100
Subject: Use gadt for function catalog

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 31cdc19..884e8f0 100755
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,6 @@ _build/
 *.native
 *.swp
 *.docdir
+*.o
+*.so
+*.a
-- 
cgit v1.2.3