aboutsummaryrefslogtreecommitdiff
path: root/editor/j/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 15:54:32 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commitf4a59ed2811d4dca2daad58d083078c01488dd11 (patch)
tree85a5ad0e6bf7bdd07834a5cf565d8a5992844f5f /editor/j/dune
parentcdd83641518d9b20e81f71e6a30bfe73866df2e8 (diff)
Added prosemirror deps
Diffstat (limited to 'editor/j/dune')
-rwxr-xr-xeditor/j/dune7
1 files changed, 0 insertions, 7 deletions
diff --git a/editor/j/dune b/editor/j/dune
deleted file mode 100755
index 56e6691..0000000
--- a/editor/j/dune
+++ /dev/null
@@ -1,7 +0,0 @@
-(library
- (name j)
- (libraries
- brr
- js_of_ocaml
- )
- )