summaryrefslogtreecommitdiff
path: root/layer/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-20 11:57:14 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-20 11:57:14 +0100
commita86ede2f3d29d6de6ef7c1eab577f00d4c583660 (patch)
tree7cd3a5185d8ebf995f75238fce6904b71c62596e /layer/dune
parent986a36b3728eba40789d6063997dafda67b519ec (diff)
Update
Diffstat (limited to 'layer/dune')
-rwxr-xr-xlayer/dune8
1 files changed, 8 insertions, 0 deletions
diff --git a/layer/dune b/layer/dune
new file mode 100755
index 0000000..f0b1b13
--- /dev/null
+++ b/layer/dune
@@ -0,0 +1,8 @@
+(library
+ (name layer)
+ (libraries
+ gg
+ brr
+ shapes
+ )
+ )