diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-04-07 12:59:01 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-07 12:59:31 +0200 |
| commit | d0f9c9138fdc4cbf88f305ee7fa2395778bdb7cf (patch) | |
| tree | bae453ce1577c6875204b5ceba9f4efd6d1b794f /vernac/classes.mli | |
| parent | 63c73f54023f53a790ef57c9afc22111b9b95412 (diff) | |
| parent | dab51c396e16fdcf8b96093c33feb2f67c53d94d (diff) | |
Merge PR#485: Document Show Match
Diffstat (limited to 'vernac/classes.mli')
0 files changed, 0 insertions, 0 deletions