summaryrefslogtreecommitdiff
path: root/otherlibs
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2014-04-09 04:01:26 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2014-04-09 04:01:26 +0000
commitfb74ef5e51a247f212208372b6ab293f71afb8b7 (patch)
tree8a20b5a082654f507926e8fdcd8d31aa12a39304 /otherlibs
parentf309a7a05cfd68bdbf55204d73e22d7e0c946dda (diff)
downloadocaml-fb74ef5e51a247f212208372b6ab293f71afb8b7.tar.gz
Fix PR#6365
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14565 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
0 files changed, 0 insertions, 0 deletions