From 72e3b16bbd258e63f047392c973ba5e8f0a823c8 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 1 Jun 2021 13:11:58 +0200
Subject: Added export button in editor
---
editor/dune | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
(limited to 'editor/dune')
diff --git a/editor/dune b/editor/dune
index 8f2e3d1..6b13228 100755
--- a/editor/dune
+++ b/editor/dune
@@ -3,15 +3,11 @@
(libraries
brr
brr.note
- elements
- js_lib
prosemirror
blog
- application
state
plugins
- forms
- actions
+ editor_actions
)
(modes js)
(preprocess (pps js_of_ocaml-ppx))
--
cgit v1.2.3