From 41513c2568025bda74a9ddf9e90e848cd810525f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 4 Feb 2020 19:52:25 +0000
Subject: Add dune files to .gitignore

---
 .gitignore | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 087bb6a..e986f2f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,4 +33,9 @@ Makefile.coq
 Makefile.coq.conf
 .coqdeps.d
 
-extraction/src/
\ No newline at end of file
+extraction/src/
+
+# Ocaml
+_build
+dune-project
+.merlin
-- 
cgit