diff options
Diffstat (limited to 'editor/j/dune')
-rwxr-xr-x | editor/j/dune | 7 |
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 - ) - ) |