diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-08-31 11:37:21 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-31 11:37:21 +0200 |
| commit | c082e2bf85d5e372497a85424a3f1a049862467d (patch) | |
| tree | 74c6eec3f5e839027e9969d9466c2159428e594f /test-suite/coqchk/cumulativity.v | |
| parent | 4c737d0a3768353e025e3c371102b00485e0306d (diff) | |
| parent | d69b13ce03edfeb8d25ce5ea337aa7384fadbe6c (diff) | |
Merge PR #969: Fix a typo
Diffstat (limited to 'test-suite/coqchk/cumulativity.v')
0 files changed, 0 insertions, 0 deletions