From 3270e84a38e5f9f1abccf468846d4d29ff54a7fe Mon Sep 17 00:00:00 2001
From: Francois Berenger <unixjunkie@sdf.org>
Date: Tue, 12 Mar 2019 10:29:39 +0900
Subject: [PATCH] dune-project doesn't need to be under VC

---
 dune-project | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 dune-project

diff --git a/dune-project b/dune-project
deleted file mode 100644
index 7655de0..0000000
--- a/dune-project
+++ /dev/null
@@ -1 +0,0 @@
-(lang dune 1.1)