summaryrefslogtreecommitdiff
path: root/editor
diff options
context:
space:
mode:
Diffstat (limited to 'editor')
-rwxr-xr-xeditor/forms/dune1
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))
)