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)) -) |