aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Makefile
diff options
context:
space:
mode:
authorKazuhiko Sakaguchi2020-11-20 11:47:21 +0900
committerKazuhiko Sakaguchi2020-11-24 02:19:53 +0900
commit0cadfe448ecb17a55d256d1c1a4470a95beab640 (patch)
treeba2fc9780f041e546c67a5650a854332009ac394 /mathcomp/Makefile
parent7f0699b6a6fa8486c21b292ba2d8a8910c37dd6b (diff)
Fix `@maxr` and `@minr`
Diffstat (limited to 'mathcomp/Makefile')
0 files changed, 0 insertions, 0 deletions