diff options
| author | Enrico Tassi | 2019-05-28 22:20:03 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-06-04 13:58:43 +0200 |
| commit | 4131b14ac8ea93b54583c0c6fc0dff310a9c5172 (patch) | |
| tree | 21ff2bd2fb363c85b880d3aeaf460b1a9e6ceb3e /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | 9bc58fc7038d627b06c176854811d1947bca09f2 (diff) | |
Fix typo in changelog
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions