diff options
Diffstat (limited to 'mathcomp/real_closed')
| l--------- | mathcomp/real_closed/INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/real_closed/INSTALL b/mathcomp/real_closed/INSTALL index 6aa7ec5..573e04d 120000 --- a/mathcomp/real_closed/INSTALL +++ b/mathcomp/real_closed/INSTALL @@ -1 +1 @@ -../../etc/INSTALL
\ No newline at end of file +../../etc/INSTALL.md
\ No newline at end of file |