aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Makefile.common
diff options
context:
space:
mode:
authorKazuhiko Sakaguchi2019-09-30 17:38:49 +0200
committerKazuhiko Sakaguchi2019-09-30 22:19:55 +0200
commit24f5bdefd58fa3c9e3c31eb26443ff0f5eee30ed (patch)
treeed4d447a5a6a057d6752015988213b26741b4d49 /mathcomp/Makefile.common
parent638fad3c620f9bc3bbd883a42adb506ded14232f (diff)
Generalize `allpairs_catr` to non-`eqType`s
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions