diff options
| author | Théo Zimmermann | 2019-04-23 19:05:53 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:10:17 +0200 |
| commit | deb35e4fc79909e0695fa719847394f1f8567442 (patch) | |
| tree | 3b1b4c61d24180c601419360cfb444ecf1733d7c /doc/plugin_tutorial/tuto3/_CoqProject | |
| parent | 890f206ebea4a14f5be8b273cee4ae8f99ca25e1 (diff) | |
Change entry for #9906.
Diffstat (limited to 'doc/plugin_tutorial/tuto3/_CoqProject')
0 files changed, 0 insertions, 0 deletions