diff options
| author | Vincent Laporte | 2018-10-11 12:23:35 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-11 12:23:35 +0000 |
| commit | 96b30e352ff30b1fba4f11b278f22aa6db5871f9 (patch) | |
| tree | ee4d38ec56aa6343f99d933abb98e175e3d89a01 /doc | |
| parent | 4a244648cff78c7f7333ac5b335de3f6e742908a (diff) | |
| parent | f9020057455ba4863ef62826b3548b44e3497367 (diff) | |
Merge PR #8709: [test-suite] Use the right OCAMLPATH separator on Windows.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions