diff options
| author | Théo Zimmermann | 2020-11-16 10:21:34 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-16 10:21:34 +0100 |
| commit | 7b8da8cb0327f3bc5c008b76a29cf4e05585e2ae (patch) | |
| tree | db091b62fe7f8b08c37630bd75e88f1ca43bf1b0 /doc/plugin_tutorial/tuto3/_CoqProject | |
| parent | 51ddbbe05ab2c47a2c50c1e6781b8562b7717110 (diff) | |
Slight improvement to the changelog entry.
Diffstat (limited to 'doc/plugin_tutorial/tuto3/_CoqProject')
0 files changed, 0 insertions, 0 deletions