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/odd_order | |
| parent | c5fd9787347cf48eb6599bad3dfff5d277f9aae2 (diff) | |
fix INSTALL symlinks
Diffstat (limited to 'mathcomp/odd_order')
| l--------- | mathcomp/odd_order/INSTALL | 2 |
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 |