diff options
| author | Enrico | 2015-11-09 09:55:08 +0100 |
|---|---|---|
| committer | Enrico | 2015-11-09 09:55:08 +0100 |
| commit | ec504e283669ceac858bf4cc6234cedda7c50a70 (patch) | |
| tree | b9d1d3456732d6dbf7e9376140056203f255b0bb /mathcomp/ssreflect/plugin | |
| parent | 10587836fd6bda9f189ed3ecea456a8c4ac7af16 (diff) | |
ChangeLog: yake Yves' suggestion into account
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions