diff options
Diffstat (limited to 'mathcomp')
| l--------- | mathcomp/algebra/INSTALL | 2 | ||||
| l--------- | mathcomp/attic/INSTALL | 2 | ||||
| l--------- | mathcomp/character/INSTALL | 2 | ||||
| l--------- | mathcomp/field/INSTALL | 2 | ||||
| l--------- | mathcomp/fingroup/INSTALL | 2 | ||||
| l--------- | mathcomp/odd_order/INSTALL | 2 | ||||
| l--------- | mathcomp/real_closed/INSTALL | 2 | ||||
| l--------- | mathcomp/solvable/INSTALL | 2 | ||||
| l--------- | mathcomp/ssreflect/INSTALL | 2 |
9 files changed, 9 insertions, 9 deletions
diff --git a/mathcomp/algebra/INSTALL b/mathcomp/algebra/INSTALL index 6aa7ec5..573e04d 120000 --- a/mathcomp/algebra/INSTALL +++ b/mathcomp/algebra/INSTALL @@ -1 +1 @@ -../../etc/INSTALL
\ No newline at end of file +../../etc/INSTALL.md
\ No newline at end of file diff --git a/mathcomp/attic/INSTALL b/mathcomp/attic/INSTALL index 6aa7ec5..573e04d 120000 --- a/mathcomp/attic/INSTALL +++ b/mathcomp/attic/INSTALL @@ -1 +1 @@ -../../etc/INSTALL
\ No newline at end of file +../../etc/INSTALL.md
\ No newline at end of file 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 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 diff --git a/mathcomp/fingroup/INSTALL b/mathcomp/fingroup/INSTALL index 6aa7ec5..573e04d 120000 --- a/mathcomp/fingroup/INSTALL +++ b/mathcomp/fingroup/INSTALL @@ -1 +1 @@ -../../etc/INSTALL
\ No newline at end of file +../../etc/INSTALL.md
\ No newline at end of file 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 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 diff --git a/mathcomp/solvable/INSTALL b/mathcomp/solvable/INSTALL index 6aa7ec5..573e04d 120000 --- a/mathcomp/solvable/INSTALL +++ b/mathcomp/solvable/INSTALL @@ -1 +1 @@ -../../etc/INSTALL
\ No newline at end of file +../../etc/INSTALL.md
\ No newline at end of file diff --git a/mathcomp/ssreflect/INSTALL b/mathcomp/ssreflect/INSTALL index 6aa7ec5..573e04d 120000 --- a/mathcomp/ssreflect/INSTALL +++ b/mathcomp/ssreflect/INSTALL @@ -1 +1 @@ -../../etc/INSTALL
\ No newline at end of file +../../etc/INSTALL.md
\ No newline at end of file |