aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra/poly.v
diff options
context:
space:
mode:
authorKazuhiko Sakaguchi2020-10-29 15:54:20 +0900
committerKazuhiko Sakaguchi2020-10-29 15:54:20 +0900
commita9767fcd4713fc37e57fc9cc2a7864879effbf73 (patch)
tree9005dde32cdcf1c99c1e3c16783e2833a368eeb7 /mathcomp/algebra/poly.v
parent8be036afb4445cdc009bfb244fbf593dacbe95b7 (diff)
Add CHANGELOG entries
Diffstat (limited to 'mathcomp/algebra/poly.v')
0 files changed, 0 insertions, 0 deletions