diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-01 18:07:36 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-03 16:53:30 +0200 |
| commit | aacf79ff43bff6e59edc9335833155c4ae904bf6 (patch) | |
| tree | c571c956b82c910c0ee147885a85bda33c44c0a3 /test-suite/prerequisite | |
| parent | f29f8f80c8ad94576c7a36f3f638866c208338a0 (diff) | |
[doc] Document better ocamlfind and flambda requirements.
Closes #6782
Diffstat (limited to 'test-suite/prerequisite')
0 files changed, 0 insertions, 0 deletions