diff options
Diffstat (limited to 'dune')
-rwxr-xr-x | dune | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -11,12 +11,12 @@ worker shapes tools - events + elements blog path ) (modes js) - (preprocess (pps js_of_ocaml-ppx)) + (preprocess (pps ppx_hash)) (link_flags (:standard -no-check-prims)) ) |