diff options
Diffstat (limited to 'editor/actions/dune')
| -rwxr-xr-x | editor/actions/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/actions/dune b/editor/actions/dune index 10279dd..6406828 100755 --- a/editor/actions/dune +++ b/editor/actions/dune @@ -8,6 +8,7 @@ blog forms state + editor_app ) (preprocess (pps js_of_ocaml-ppx)) ) |