summaryrefslogtreecommitdiff
path: root/shapes/dune
diff options
context:
space:
mode:
Diffstat (limited to 'shapes/dune')
-rwxr-xr-xshapes/dune7
1 files changed, 0 insertions, 7 deletions
diff --git a/shapes/dune b/shapes/dune
deleted file mode 100755
index d03a217..0000000
--- a/shapes/dune
+++ /dev/null
@@ -1,7 +0,0 @@
-(library
- (name shapes)
- (libraries
- tools
- matrix
- )
- )