diff options
| author | Gaëtan Gilbert | 2018-10-18 14:31:40 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-12 18:43:04 +0100 |
| commit | 620bb4184017a8b720f6937f0cba09e93883e812 (patch) | |
| tree | cb1c43c9f75c38db89f9494f5811ee6eb57cde16 /doc/plugin_tutorial/tuto1 | |
| parent | 7a3b6b644f85489dced02b33712ad21afe0df47d (diff) | |
Fix incorrect coq-prog-args in unidecls
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions