diff options
| author | Enrico Tassi | 2018-02-06 18:19:15 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-02-14 13:56:22 +0100 |
| commit | cf1d983cfd42ae4a7e1e01c6cab348fc51233c65 (patch) | |
| tree | dbea83558acbf0570b68c249dfa8c68a3969308f /doc/plugin_tutorial/tuto1/src | |
| parent | 46dfd18cd1744adbe9fe8463423c5a4484ebeb70 (diff) | |
adapt to Coq#6676
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions