From a64ccb64e16175b520a0dc4badde44a1cc46f17d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 9 Dec 2021 20:03:41 +0000
Subject: Remove debug directory

---
 debug/dune | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 debug/dune

(limited to 'debug/dune')

diff --git a/debug/dune b/debug/dune
deleted file mode 100644
index feee97c..0000000
--- a/debug/dune
+++ /dev/null
@@ -1,5 +0,0 @@
-(include_subdirs no)
-
-(executable
- (name VericertTest)
- (libraries vericert))
-- 
cgit