aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/basic
diff options
context:
space:
mode:
authorCyril Cohen2015-04-09 14:47:46 +0200
committerCyril Cohen2015-04-09 15:47:46 +0200
commit999e5fdc1d11285949b3c3d2a4a582d7bf2ba8e3 (patch)
tree148651f8d47d896af6801c0a0586ee2b3fb9aa34 /mathcomp/basic
parentc8b1f9899665886b7bd0c7a25237d8e99afcced7 (diff)
adapting solvable to 8.5
Diffstat (limited to 'mathcomp/basic')
0 files changed, 0 insertions, 0 deletions