diff options
| author | Enrico | 2017-11-30 08:48:55 +0100 |
|---|---|---|
| committer | GitHub | 2017-11-30 08:48:55 +0100 |
| commit | 0fd4c76fe4c951a78c7b49c10b397f4feeebdf0f (patch) | |
| tree | 21cb5ef2c6295dd1c4ae00dc6eb93778ac37b1b9 /mathcomp | |
| parent | 82739c704bef2234dce643cbdd0b5be5a79b755b (diff) | |
| parent | abc9148f267b469261214bdfa629b574dec91cf6 (diff) | |
Merge pull request #165 from ejgallego/readme_pass
[doc] Attempt to tweak README based on the discussion.
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions