diff options
| author | Cyril Cohen | 2015-07-29 12:01:41 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2015-07-29 12:01:41 +0200 |
| commit | a0d898026d867aace636ab03a4cba133ccf4557d (patch) | |
| tree | 93ff378fd5a1f790280ad69a6362d8c2f5d1873a /mathcomp | |
| parent | 8e787d8ecf83b28ba31b02ef0bf106fa83d6c64e (diff) | |
Update README.md
simpler way of doing local opam pin
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions