diff options
| author | Enrico Tassi | 2018-04-20 14:19:59 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 14:19:59 +0200 |
| commit | 908b440bf9d8c5d2a9005d8651ced54a618d85cf (patch) | |
| tree | cc4b00204cc94c87306bab04d2365dc60fad7919 /mathcomp/algebra/INSTALL.md | |
| parent | dcc7917ac5d66472f751ebbd31b7b63db5465303 (diff) | |
fix symlinks to README, INSTALL and LICENSE
Diffstat (limited to 'mathcomp/algebra/INSTALL.md')
| l--------- | mathcomp/algebra/INSTALL.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mathcomp/algebra/INSTALL.md b/mathcomp/algebra/INSTALL.md new file mode 120000 index 0000000..5f52b2b --- /dev/null +++ b/mathcomp/algebra/INSTALL.md @@ -0,0 +1 @@ +../../INSTALL.md
\ No newline at end of file |