diff options
| author | Assia Mahboubi | 2018-03-06 14:35:07 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-06 14:35:07 +0100 |
| commit | f26e353970e99ec25c540c92c9722ee4f578391b (patch) | |
| tree | d76b38798a5030e7dbf5b6dc11d300d37b79fad7 /mathcomp | |
| parent | 6f075b64b936de9ee4fa79ea4dc1d2fb9b9cf2c8 (diff) | |
| parent | cc518c0de948f111e3fcb1b766a1a326db9ce955 (diff) | |
Merge pull request #186 from anton-trunov/add-dev-repo-to-install
[doc] Add instructions for dev version installation via OPAM
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions