aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
authorCyril Cohen2019-11-06 15:54:53 +0100
committerGitHub2019-11-06 15:54:53 +0100
commit5a0e3f86d8e7230da075a9b9c82440d45979a413 (patch)
tree438c1217736a55c391030988971ef9abe8b5fd11 /mathcomp/field
parent9a8b8292371526978b9e34804daf114658fe4b7a (diff)
parentc74ff2cfee7df2a3caa31789d606f96e3a0dfb3a (diff)
Merge pull request #410 from GTaumaturgo/patch-1
Update README.md
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions