summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-09-06 09:50:51 +0200
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit12d8d9e671ed8010c5a17183b304dd7357411200 (patch)
treeba11e4e3f29515d96e949fd050b6b292165ad7eb
parentcee939ada70967b70fe92ca24b3428cc8c8b7c38 (diff)
Deps correction
-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))
)