From 561d0f0155f4906d90eb7e73a3ff9cb28909126f Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 5 Feb 2021 09:08:39 +0100 Subject: Update project structure --- script.it/shapes/dune | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 script.it/shapes/dune (limited to 'script.it/shapes/dune') diff --git a/script.it/shapes/dune b/script.it/shapes/dune new file mode 100755 index 0000000..d03a217 --- /dev/null +++ b/script.it/shapes/dune @@ -0,0 +1,7 @@ +(library + (name shapes) + (libraries + tools + matrix + ) + ) -- cgit v1.2.3