diff options
| author | Yves Bertot | 2018-05-11 11:34:35 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-11 11:34:35 +0200 |
| commit | c74ead36e32c49dbbf030083ba150e10bb1c74cf (patch) | |
| tree | 923893ccb050487dc33b9a369eb5f1a5ea43f71e /doc/plugin_tutorial | |
| parent | 6763c589d4097da0a58ad72adf8b201c660b8b84 (diff) | |
Use the more colloquial EConstr.t type instead of EConstr.constr
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions