aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra
diff options
context:
space:
mode:
authorAssia Mahboubi2016-12-20 15:44:40 +0100
committerGitHub2016-12-20 15:44:40 +0100
commitdead710d5b89bd3bbbadf0c5662fa20a87ce1b49 (patch)
tree42c4fd30b93c3a663d315124a61a00412d646058 /mathcomp/algebra
parent29f6948c82da7ef51562a49d069583ffe77aa0ad (diff)
parente7369f8e0115c2d32643d2eacd201362f32c9a34 (diff)
Merge pull request #87 from ybertot/master
correct a typo in the documentation
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions