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