summaryrefslogtreecommitdiff
path: root/.depend
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2019-07-17 11:56:04 +0200
committerDavid Allsopp <david.allsopp@metastack.com>2019-07-17 16:07:20 +0100
commit2fbab590d98adf05d992837d9daf2590d25828b3 (patch)
treec1c6b43e5858370cb7a4010dee2c9014b3dcc564 /.depend
parent03fa0f040cc803d29b26dae0047ad1adfccf06f9 (diff)
downloadocaml-2fbab590d98adf05d992837d9daf2590d25828b3.tar.gz
Fix a few tests
A few tests have actually been broken by commit b2a0f3b659a8d7e2f44c337718c1ea9373479d7d The present commit fixes all the tests that had not been fixed meanwhile. (cherry picked from commit 1a798abff0cbf135da5526375e62f88ccfdd07de)
Diffstat (limited to '.depend')
0 files changed, 0 insertions, 0 deletions