diff options
| author | Kenji Maillard | 2020-05-10 15:14:42 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-11 13:24:58 +0200 |
| commit | 6cb24494fe8b6e945c6b6696134a6a42ecdab6ec (patch) | |
| tree | c76e720b6615594638367a802cc06bf0a86860fe /dev | |
| parent | ead129a76cb3ceb656b60556bf10f38c667ce45a (diff) | |
Correcting ltac2's documentation on values turning test into proper check.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions