aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/fingroup
diff options
context:
space:
mode:
authorCyril Cohen2019-04-08 17:07:56 +0200
committerGitHub2019-04-08 17:07:56 +0200
commit9b8d64cd93474c48200c06ac0e5c3da62fbf915b (patch)
tree2b1ad626f07110582d3419dedb1d29a2b9306f7e /mathcomp/fingroup
parent10f14cf5b5e0e2ea0e84f8f981609d6c39a296cb (diff)
Update INSTALL.md
Diffstat (limited to 'mathcomp/fingroup')
0 files changed, 0 insertions, 0 deletions