aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra
diff options
context:
space:
mode:
authorCyril Cohen2019-04-17 15:31:27 +0200
committerGitHub2019-04-17 15:31:27 +0200
commit05f8cfcedcd8e31dce0336f4000a199824a893dd (patch)
treee7f958d7914ef42f9a40414eb6758193d1729818 /mathcomp/algebra
parent2e452734f09f06f5ee6dfa18aa50ee59538d72a0 (diff)
parentc11764ca767ce6c306fef3892a78f0114e5e818c (diff)
Merge pull request #307 from erikmd/extend-ci
[ci] Extend the test-suite
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions