aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
Diffstat (limited to 'mathcomp/field')
l---------mathcomp/field/INSTALL2
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/field/INSTALL b/mathcomp/field/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/field/INSTALL
+++ b/mathcomp/field/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL \ No newline at end of file
+../../etc/INSTALL.md \ No newline at end of file