aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/solvable
diff options
context:
space:
mode:
authorYves Bertot2020-03-31 17:33:14 +0200
committerYves Bertot2020-03-31 17:55:10 +0200
commita8c8fd1f52f90606f5aaf4f4b810b70aabc9caa2 (patch)
treeb0e84f62af50e8b8df4de7399bf87af12ddaded8 /mathcomp/solvable
parent06048e6125b430133e3eb2102e166545f5f804f2 (diff)
remove deprecated commands whose deprecation was introduced in release 1.9.0
fixes #418
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions