diff options
| author | Maxime Dénès | 2016-05-26 11:36:23 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-05-26 11:36:23 +0200 |
| commit | b445ebb0f511ab3be11d602fe091a0bc5f1ad883 (patch) | |
| tree | 0296372e6a86d05def8912313103639af8b99e45 /kernel | |
| parent | 16e1a879264b91cacf07635af39e2e710e1d6d53 (diff) | |
Update required OCaml version in configure.
Follow-up on Hugo's 1412f9f9.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions