aboutsummaryrefslogtreecommitdiff
path: root/mathcomp
diff options
context:
space:
mode:
authorCyril Cohen2019-11-14 13:38:51 +0100
committerGitHub2019-11-14 13:38:51 +0100
commit521e80b0729baa445c2c1884f5f96d594deda0c8 (patch)
tree531468501cffca08b5eccea61beb3d100556f861 /mathcomp
parent9eca94fcebb627bf8b1160dd189edb9769e2bd25 (diff)
Update pull_request_template.md
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions