aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra
diff options
context:
space:
mode:
authorAssia Mahboubi2015-11-30 15:52:24 +0100
committerAssia Mahboubi2015-11-30 15:52:24 +0100
commit2d032b5330adc7e7d7dcf0fb0daf593bffe280ec (patch)
tree013e7560299b49d0a7dd022538fb5f288691eee4 /mathcomp/algebra
parent986f8d6da0211a53688c36f353cd2ca034a7b29b (diff)
Typos in comments.
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions