diff options
| author | Cyril Cohen | 2020-05-06 00:21:22 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-06 00:21:22 +0200 |
| commit | 3515b33b1245ea169fbaf61405dc60954509fee2 (patch) | |
| tree | e0891bf82ac00869bf8ee932bda53edf5eed4df4 /mathcomp/ssreflect/seq.v | |
| parent | 45876a191dceeadfff4c665d8d2e6df3f8a62e3e (diff) | |
| parent | 6658910a5f4da49907562473577f442088b3b052 (diff) | |
Merge pull request #495 from pi8027/post-cleaning-pr429
Reword a CHANGELOG entry introduced in #429
Diffstat (limited to 'mathcomp/ssreflect/seq.v')
0 files changed, 0 insertions, 0 deletions