aboutsummaryrefslogtreecommitdiff
path: root/mathcomp
diff options
context:
space:
mode:
authorCyril Cohen2020-10-07 11:00:06 +0200
committerGitHub2020-10-07 11:00:06 +0200
commit5222da0de26b9843dfbb1b8462fabea9c0396714 (patch)
tree29ea51347d769c9cd23dd5a615d86dff407745e7 /mathcomp
parentcfb1c87cba9118504adfe6fa80d4b85342efb4cb (diff)
Update INSTALL.md
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions