diff options
| author |  Michael Soegtrop <michael.soegtrop@intel.com> | 2018-06-04 19:50:18 +0200 |
|---|---|---|
| committer | Michael Soegtrop <michael.soegtrop@intel.com> | 2018-06-04 19:50:18 +0200 |
| commit | 6b415fab365a21bd8702d7ffe3c8cef8e6290c51 (patch) | |
| tree | 5b72163622e5db431e55cc7dad98e9a73fe9c480 /doc/sphinx/practical-tools/utilities.rst | |
| parent | 6b447d6666aa44edbf69c69e9267b5031d7c7191 (diff) | |
| parent | 345c63f5a98eb15ff0336ff853596f5b04ffbe4a (diff) | |
Merge PR #7596: [ci] [windows] Use newer OCaml version.
Diffstat (limited to 'doc/sphinx/practical-tools/utilities.rst')
0 files changed, 0 insertions, 0 deletions