diff options
Diffstat (limited to 'editor/prosemirror/dune')
| -rwxr-xr-x | editor/prosemirror/dune | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editor/prosemirror/dune b/editor/prosemirror/dune index 4fff7b2..730af26 100755 --- a/editor/prosemirror/dune +++ b/editor/prosemirror/dune @@ -3,7 +3,6 @@ (libraries brr js_of_ocaml - j ) (preprocess (pps js_of_ocaml-ppx)) ) |