aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Makefile.common
diff options
context:
space:
mode:
authorLaurent Théry2019-09-30 09:27:14 +0200
committerAssia Mahboubi2019-09-30 09:27:14 +0200
commit020c051359aa05d1e22259b4739b9130ab65e472 (patch)
tree3d70e7d4689e50d79b98b62e724adefb97b02bce /mathcomp/Makefile.common
parentd3dc7c337f2f031cec57d1f8804d59662e36ecfb (diff)
ffact as a product similar to fact_prod (#374)
Thanks!
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions