From 20d10a93e5becb41d1145f9d35136782365b0ba4 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 17 Dec 2020 13:56:00 +0100
Subject: Refactor

---
 curves/dune | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 curves/dune

(limited to 'curves/dune')

diff --git a/curves/dune b/curves/dune
deleted file mode 100755
index 34c87fb..0000000
--- a/curves/dune
+++ /dev/null
@@ -1,7 +0,0 @@
-(library
- (name curves)
- (libraries 
-   tools
-   matrix
-   )
- )
-- 
cgit v1.2.3