diff options
| author | Enrico Tassi | 2015-11-10 11:38:08 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-11-10 11:38:27 +0100 |
| commit | da9bec4f8cdbd568872dcb8f9a427c36bff1a6f4 (patch) | |
| tree | 99f621672ee12d7d351302d8ddaefea593de8f51 /mathcomp | |
| parent | c5fd9787347cf48eb6599bad3dfff5d277f9aae2 (diff) | |
fix INSTALL symlinks
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 |