summaryrefslogtreecommitdiff
path: root/path/dune
diff options
context:
space:
mode:
Diffstat (limited to 'path/dune')
-rwxr-xr-xpath/dune2
1 files changed, 0 insertions, 2 deletions
diff --git a/path/dune b/path/dune
index 42965db..863c768 100755
--- a/path/dune
+++ b/path/dune
@@ -2,8 +2,6 @@
(name path)
(libraries
gg
- brr
- layer
shapes
)
)