diff options
| author | Anton Trunov | 2019-05-29 16:05:39 +0300 |
|---|---|---|
| committer | Anton Trunov | 2019-05-29 16:05:39 +0300 |
| commit | ccceb6fbd3bd811b728f6e11dad3cf255a577801 (patch) | |
| tree | 5fb24bf36ff2fca33f2d23a8f49d1681e6286a4a /mathcomp/_CoqProject | |
| parent | 3db164c8410dfbb3204c7d02d057356d22044c0d (diff) | |
reword entry in CHANGELOG_UNRELEASED.md
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions