diff options
| author | Hugo Herbelin | 2017-09-22 18:40:01 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-09-22 18:42:32 +0200 |
| commit | 25c0f1b9657c873022fbe63d676eda058464e3c3 (patch) | |
| tree | cc5f0350facda7c2db457cf1c7ef613104d73c34 /API/API.mli | |
| parent | 0447754621933102b7ec52e2b2c6c0320f911bba (diff) | |
Himsg: Dropping nf_evars made obsolete by EConstr.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions