aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra
diff options
context:
space:
mode:
authorEnrico Tassi2020-11-06 17:24:33 +0100
committerGitHub2020-11-06 17:24:33 +0100
commitc33309d4279c5d6483af54b54fe6aa326e289f9b (patch)
tree89e092d6d3ecdd2e9a89e8d9e3481b50a31846c2 /mathcomp/algebra
parente1f1d3c5e778f9e427e46b9bca2e12719085a6ef (diff)
parenta637acb7940706d162fe46b1359638f986d4c9bd (diff)
Merge pull request #633 from CohenCyril/fix628
Delaying the deprecation of `iter_add`
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions