From bf94695abeda0d7bb296ae4cd0f9a53782587d4a Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Mon, 7 Feb 2022 16:14:09 +0100
Subject: Update editor organisation

---
 editor/plugins/dune | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 editor/plugins/dune

(limited to 'editor/plugins/dune')

diff --git a/editor/plugins/dune b/editor/plugins/dune
new file mode 100755
index 0000000..046dc5a
--- /dev/null
+++ b/editor/plugins/dune
@@ -0,0 +1,9 @@
+(library
+ (name plugins)
+ (libraries 
+   brr
+   prosemirror
+   js_lib
+   )
+ (preprocess (pps js_of_ocaml-ppx))
+ )
-- 
cgit v1.2.3