summaryrefslogtreecommitdiff
path: root/elements/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 15:38:37 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:01:12 +0100
commit77544bdfad2af41514ec1435f706fee87ea2969e (patch)
tree4de23870e08711da25ff92e9670370fc0a74e459 /elements/dune
parentad526111f0dd619ae9e0e98ef2253146b58a068f (diff)
Added viz.js code
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))
-)