diff options
| author | Pierre Letouzey | 2017-06-13 10:03:27 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-10-07 00:09:29 +0200 |
| commit | 1795a3e603c3ff8bd0e3c3900e4a250f51f3fec6 (patch) | |
| tree | 5a5c637bb92e51a19f2500e818533d9910cdd359 /API/API.mli | |
| parent | 87539cd9f8ce912e5e084dfbed5fa366555b6006 (diff) | |
Compat/Coq87.v : Unset Omega UseLocalDefs (see PR #768)
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions