aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra
diff options
context:
space:
mode:
authorCyril Cohen2019-05-15 11:42:43 +0200
committerCyril Cohen2019-12-11 14:25:52 +0100
commit6d34f29cf906b6672925ee3abd4e54b59eea784f (patch)
tree9ee30f84b3ca84f2d652611a54c2d88239fe5208 /mathcomp/algebra
parentfbf0b7568b8d6231671954cba8bcae4120e591cc (diff)
Changing license
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions