diff options
| author | Enrico Tassi | 2016-06-15 17:58:57 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2016-06-15 17:58:57 +0200 |
| commit | a86ae18dcdb055ad7f542312a2bb231efd787db2 (patch) | |
| tree | aeda9b9b019c1ff6e99a80ed7b68fd2dc7c87811 /plugins | |
| parent | 2b8596c568e243302bfec7f98e8ff8ca1ec0834a (diff) | |
ssrmatching: simple test for Ltac API
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions