From 72e3b16bbd258e63f047392c973ba5e8f0a823c8 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 1 Jun 2021 13:11:58 +0200 Subject: Added export button in editor --- editor/forms/dune | 4 ---- 1 file changed, 4 deletions(-) (limited to 'editor/forms/dune') diff --git a/editor/forms/dune b/editor/forms/dune index 124ce01..5aaf249 100755 --- a/editor/forms/dune +++ b/editor/forms/dune @@ -3,10 +3,6 @@ (libraries brr brr.note - elements - js_lib - blog - application state ) (preprocess (pps js_of_ocaml-ppx)) -- cgit v1.2.3