aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Makefile
diff options
context:
space:
mode:
authorKazuhiko Sakaguchi2019-04-03 10:01:50 +0200
committerKazuhiko Sakaguchi2019-04-03 10:01:50 +0200
commit7ab5c99ab4c2ecfd55702a4279392f067652e357 (patch)
treece2a485f9f5db110a4a4d79b097158c921f84a01 /mathcomp/Makefile
parentfa01cdf52c9af3f7e57a865a063e3d02f28cbf60 (diff)
Fix inheritances in ssrnum
Diffstat (limited to 'mathcomp/Makefile')
0 files changed, 0 insertions, 0 deletions