From 20d10a93e5becb41d1145f9d35136782365b0ba4 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Thu, 17 Dec 2020 13:56:00 +0100 Subject: Refactor --- shapes/dune | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 shapes/dune (limited to 'shapes/dune') diff --git a/shapes/dune b/shapes/dune new file mode 100755 index 0000000..d03a217 --- /dev/null +++ b/shapes/dune @@ -0,0 +1,7 @@ +(library + (name shapes) + (libraries + tools + matrix + ) + ) -- cgit v1.2.3