aboutsummaryrefslogtreecommitdiff
path: root/stub/ocaml.c
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2019-08-28 22:44:18 +0200
committerSébastien Dailly <sebastien@chimrod.com>2019-08-28 22:44:18 +0200
commiteea6c106dd959dec19dc70991010bf2008fcf6c6 (patch)
treedde5a8ff3fb71890bad756e0677cbfb6348142fc /stub/ocaml.c
parentc20b6dd7533775eaed045950e04175b020ac52c4 (diff)
Update catalog function register
Diffstat (limited to 'stub/ocaml.c')
-rw-r--r--[-rwxr-xr-x]stub/ocaml.c0
1 files changed, 0 insertions, 0 deletions
diff --git a/stub/ocaml.c b/stub/ocaml.c
index 8994c21..8994c21 100755..100644
--- a/stub/ocaml.c
+++ b/stub/ocaml.c