aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/solvable
diff options
context:
space:
mode:
authorEnrico2018-07-02 15:30:26 +0200
committerGitHub2018-07-02 15:30:26 +0200
commitb8be28130d6a2a057858e3978c75ee0796630dce (patch)
tree93000cf1aff0140e9f0195e8c0345c97276eca2f /mathcomp/solvable
parentbcba70f86ac39c3d234da0d696c4b32a741e71cf (diff)
fix URL in README
Fix #200
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions