diff options
| author | Cyril Cohen | 2020-11-11 23:20:24 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-11 23:20:24 +0100 |
| commit | d0449f7e13f06ab7295f6919d1701e8adfa72d61 (patch) | |
| tree | 44ecbab31f03316130b5a763a01cb08754f00454 /mathcomp/_CoqProject | |
| parent | 1890cc8cfc1725c99606b92f7a38217bd0e42bec (diff) | |
| parent | eb4bed01bf31c21cd13cdfbd4b81303f4f357c4e (diff) | |
Merge pull request #640 from CohenCyril/fix_iota_add
Deprecation of iota_add delayed, and not the one of iter_add
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions