diff options
| author | Kazuhiko Sakaguchi | 2020-05-04 17:39:15 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-05-06 05:10:24 +0900 |
| commit | 6658910a5f4da49907562473577f442088b3b052 (patch) | |
| tree | e0891bf82ac00869bf8ee932bda53edf5eed4df4 /mathcomp/_CoqProject | |
| parent | 45876a191dceeadfff4c665d8d2e6df3f8a62e3e (diff) | |
Reword a CHANGELOG entry introduced in #429
that explains an incompatibility between development versions
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions