diff options
| author | Gaëtan Gilbert | 2019-02-07 11:45:10 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 14:39:49 +0100 |
| commit | f78d36363698f653ff8ff16389c58633579493eb (patch) | |
| tree | ccb405e08c030473867c6085a459d3d9ab9e7b0b /doc/plugin_tutorial/tuto1 | |
| parent | 146a9d73bd5ceff18e08d36d942dca874f388d5c (diff) | |
Fix failing coqtops in extended-pattern-matching.rst
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions