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/ssreflect/plugin | |
| parent | c5fd9787347cf48eb6599bad3dfff5d277f9aae2 (diff) | |
fix INSTALL symlinks
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions