aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/character
diff options
context:
space:
mode:
authorEnrico Tassi2015-11-10 11:38:08 +0100
committerEnrico Tassi2015-11-10 11:38:27 +0100
commitda9bec4f8cdbd568872dcb8f9a427c36bff1a6f4 (patch)
tree99f621672ee12d7d351302d8ddaefea593de8f51 /mathcomp/character
parentc5fd9787347cf48eb6599bad3dfff5d277f9aae2 (diff)
fix INSTALL symlinks
Diffstat (limited to 'mathcomp/character')
l---------mathcomp/character/INSTALL2
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/character/INSTALL b/mathcomp/character/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/character/INSTALL
+++ b/mathcomp/character/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL \ No newline at end of file
+../../etc/INSTALL.md \ No newline at end of file