aboutsummaryrefslogtreecommitdiff
path: root/mathcomp
diff options
context:
space:
mode:
authorYves Bertot2018-11-05 16:51:17 +0100
committerYves Bertot2018-11-05 16:51:17 +0100
commitc93e54c38279bbefeda1d005d17b39b020bd867d (patch)
treec6d7348d976941f5c457484ac06a75529aebcddc /mathcomp
parente3ded45b0d4f4d1667e99c8a7fac7d730e06c33e (diff)
fix issue #240
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions