From 3c4dab8035971fbb150d74dab7ebfa2622aee4cd Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 4 Feb 2020 15:35:46 +0000
Subject: Add extraction to gitignore

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 55a6c60..087bb6a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,3 +32,5 @@ nra.cache
 Makefile.coq
 Makefile.coq.conf
 .coqdeps.d
+
+extraction/src/
\ No newline at end of file
-- 
cgit