diff options
Diffstat (limited to 'elements/dune')
| -rwxr-xr-x | elements/dune | 9 | 
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)) -)  | 
