diff options
Diffstat (limited to 'editor')
| -rwxr-xr-x | editor/forms/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/forms/dune b/editor/forms/dune index 5aaf249..419f283 100755 --- a/editor/forms/dune +++ b/editor/forms/dune @@ -4,6 +4,7 @@ brr brr.note state + elements ) (preprocess (pps js_of_ocaml-ppx)) ) |