aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Make
diff options
context:
space:
mode:
authorAssia Mahboubi2016-11-07 15:40:31 +0100
committerAssia Mahboubi2016-11-07 15:41:12 +0100
commit2a8af6f6b80c82a5f07cae220427cccc30ef8dac (patch)
tree1395d20bfcf974fd5c160619493e7882e5e82006 /mathcomp/Make
parent71e62259c3a7420ff4c635768564792d1fd38ceb (diff)
update copyright banner
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions