diff options
| author | Cyril Cohen | 2017-11-07 13:41:56 +0100 |
|---|---|---|
| committer | GitHub | 2017-11-07 13:41:56 +0100 |
| commit | 6082d5fba4381b67f79d4aa73bb836729085f21c (patch) | |
| tree | b27a85bd04c408e6f71e9f4fc7bfde977d38b14e /mathcomp/Make | |
| parent | 1e7a80cc115a2a4f284a2a9c33e56f55687a764e (diff) | |
Opam installation instruction update
For released or dev versions
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions