aboutsummaryrefslogtreecommitdiff
path: root/mathcomp
diff options
context:
space:
mode:
authorCyril Cohen2019-05-29 14:42:33 +0200
committerGitHub2019-05-29 14:42:33 +0200
commit507c437fd3c030c710b35d41ba1ff52a2a424ab1 (patch)
tree729d26427b2b2768ef717f146ed32ad9797d46b6 /mathcomp
parentb5cf3e104aa81fa28b5210203921ba272c300790 (diff)
Update pull_request_template.md
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions