diff options
| author | Cyril Cohen | 2018-02-06 15:51:26 +0100 |
|---|---|---|
| committer | GitHub | 2018-02-06 15:51:26 +0100 |
| commit | 11e539dae1bfe8bc67fc7bd1eb65ee3b4c29f813 (patch) | |
| tree | 6fcfaf3ed013c064bb72c72c0329f9f10e0ba9b4 /mathcomp/ssreflect/plugin | |
| parent | 835467324db450c8fb8971e477cc4d82fa3e861b (diff) | |
Update README.md
fixes #175
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions