diff options
| author | Théo Zimmermann | 2019-04-19 18:52:26 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:10:17 +0200 |
| commit | 890f206ebea4a14f5be8b273cee4ae8f99ca25e1 (patch) | |
| tree | 5133e28834b5d16ff88fda3212be3f14bf6d8c22 /doc/plugin_tutorial/tuto1/_CoqProject | |
| parent | bb4b9469ddf45d76385cdcddf27dc82266a8c73b (diff) | |
Split changes between main changes and other changes (no repetition).
Add more links to PRs and credits of authors.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/_CoqProject')
0 files changed, 0 insertions, 0 deletions