diff options
| author | Théo Zimmermann | 2020-05-03 19:47:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-14 18:57:49 +0200 |
| commit | 5383050ccdaca3f1b97e06bb782e5704231e9cdb (patch) | |
| tree | 87f478e16c37354e9d1af4ef1e1889a8368f0ac0 /interp/notation.mli | |
| parent | 16b2734e050d4c28d5da1a509cd2387cb8cebe6b (diff) | |
Add advisories on OCaml setup to INSTALL.md.
Closes #12232.
Diffstat (limited to 'interp/notation.mli')
0 files changed, 0 insertions, 0 deletions