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