diff options
| author | Pierre-Marie Pédrot | 2020-07-04 19:42:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-07-08 00:20:41 +0200 |
| commit | 7ba8eaf750689ab14910069a806233b7635bec91 (patch) | |
| tree | c17c32fba224dfe2f7bf185516d931696aff4e18 /doc/plugin_tutorial/tuto3/_CoqProject | |
| parent | 827425e57f9ecb9bbff3132bdaa504e710c8cf2b (diff) | |
Small code simplification in Evarutil.new_evar.
Diffstat (limited to 'doc/plugin_tutorial/tuto3/_CoqProject')
0 files changed, 0 insertions, 0 deletions