aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
authorCyril Cohen2018-08-06 19:34:27 +0200
committerCyril Cohen2018-08-06 19:34:27 +0200
commit8d1832eea4abe8873423e76c307ab54bbeb84456 (patch)
tree8490364ecb047e335399514d69737312205997c7 /mathcomp/field
parentceec387c6e912f83b918955011caacc14a825da3 (diff)
changing companionmx to a more standard one
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions