aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Makefile.common
diff options
context:
space:
mode:
authorCyril Cohen2019-10-01 13:02:59 +0200
committerGitHub2019-10-01 13:02:59 +0200
commit9a3a4e63a1aa775dab774f261313d0e1031620da (patch)
treeed4d447a5a6a057d6752015988213b26741b4d49 /mathcomp/Makefile.common
parent638fad3c620f9bc3bbd883a42adb506ded14232f (diff)
parent24f5bdefd58fa3c9e3c31eb26443ff0f5eee30ed (diff)
Merge pull request #386 from pi8027/allpairs
Generalize `allpairs_catr` to non-`eqType`s
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions