summaryrefslogtreecommitdiffstats
path: root/ocaml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml')
-rwxr-xr-x[-rw-r--r--]ocaml/run-bindtests0
1 files changed, 0 insertions, 0 deletions
diff --git a/ocaml/run-bindtests b/ocaml/run-bindtests
index a9162c9f..a9162c9f 100644..100755
--- a/ocaml/run-bindtests
+++ b/ocaml/run-bindtests