diff options
| author | Maxime Dénès | 2017-05-31 22:57:10 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-07 11:15:29 +0200 |
| commit | cd7ba12978ee90c2bf1e59584ebf95e9ed275fb2 (patch) | |
| tree | 6480095ba152ff892d21dc476dd969aa59cb9e04 /mathcomp/ssreflect/plugin | |
| parent | 96a3c59b4586164e8aa80f53f0f9031fd1167ce8 (diff) | |
Change failing test.
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions