summaryrefslogtreecommitdiff
path: root/elements/dune
diff options
context:
space:
mode:
Diffstat (limited to 'elements/dune')
-rwxr-xr-xelements/dune9
1 files changed, 0 insertions, 9 deletions
diff --git a/elements/dune b/elements/dune
deleted file mode 100755
index 97d0753..0000000
--- a/elements/dune
+++ /dev/null
@@ -1,9 +0,0 @@
-(library
- (name elements)
- (libraries
- brr
- brr.note
- js_of_ocaml
- )
- (preprocess (pps ppx_hash js_of_ocaml-ppx))
-)