diff options
| author | Cyril Cohen | 2020-11-24 02:13:01 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-24 02:13:01 +0100 |
| commit | 84dbef80c27392413f96f77d2314a3b34a7a88f8 (patch) | |
| tree | 429d78a011dfce7f283d0addd876e25553ae77e8 /mathcomp/ssreflect/path.v | |
| parent | e6a25b8d4806cf968dbf6c33343ba1d1fb28ddf6 (diff) | |
| parent | 53b6f555a5068f3ded38c623f1939e082b3268ae (diff) | |
Merge pull request #672 from CohenCyril/fix_dup_swap
Fixing [dup] and [swap] for Coq 8.12
Diffstat (limited to 'mathcomp/ssreflect/path.v')
0 files changed, 0 insertions, 0 deletions