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/path/dune | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 script.it/path/dune (limited to 'script.it/path/dune') diff --git a/script.it/path/dune b/script.it/path/dune new file mode 100755 index 0000000..863c768 --- /dev/null +++ b/script.it/path/dune @@ -0,0 +1,7 @@ +(library + (name path) + (libraries + gg + shapes + ) + ) -- cgit v1.2.3