aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/attic
diff options
context:
space:
mode:
authorCyril Cohen2017-12-14 19:09:33 +0100
committerGitHub2017-12-14 19:09:33 +0100
commit7ed910eed93cbd5523a731998b1d2c87db712b94 (patch)
tree2b4fee8639328862336311f8f30e006a6644c219 /mathcomp/attic
parente4e5648250de1354366aa3b0637f8d6d72f5180f (diff)
parent7406d43614dda186492f8e8cc184783980aaa969 (diff)
Merge pull request #155 from erikmd/fix/gh-61
Update v8.5 plugin to fix math-comp/math-comp#61
Diffstat (limited to 'mathcomp/attic')
0 files changed, 0 insertions, 0 deletions