aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Make
diff options
context:
space:
mode:
authorCyril Cohen2019-05-29 15:48:18 +0200
committerGitHub2019-05-29 15:48:18 +0200
commit6bf8d7707ec6a1d9baf0ce8abaa31f1d681b3b99 (patch)
tree93fa500d06018f916ae2db421487d3d1d0783ff2 /mathcomp/Make
parent9cce7c903facaa606a718892f5d42fdddd04406b (diff)
Update pull_request_template.md
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions