From c3de945fa463aa9a2ad0804eb8f67e40f585eb3a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 29 Sep 2022 09:57:12 +0100
Subject: Add dune-project file

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 174fc31..83a64f6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -41,7 +41,6 @@ bin/vericert
 
 # Ocaml
 _build
-dune-project
 .merlin
 
 /docs/html
-- 
cgit