summaryrefslogtreecommitdiff
path: root/editor/j/dune
diff options
context:
space:
mode:
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
- )
- )