aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra
diff options
context:
space:
mode:
authorCyril Cohen2020-08-11 16:53:51 +0200
committerGitHub2020-08-11 16:53:51 +0200
commitea1d26eb0f0c3ada5c159dc163cdc811b5d3239d (patch)
tree4f8e7d2abe16d816ce41f86432d13e1a80e16632 /mathcomp/algebra
parentc6051cd2cbd811c59143015884ca643ac753f738 (diff)
parent1bbfe3429a07bee2478fd15adf45b982fdfb5d2b (diff)
Merge pull request #552 from chdoc/rel-format-warning
fix notation-incompatible-format warnings
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions