diff options
| author | Enrico | 2018-07-02 15:30:26 +0200 |
|---|---|---|
| committer | GitHub | 2018-07-02 15:30:26 +0200 |
| commit | b8be28130d6a2a057858e3978c75ee0796630dce (patch) | |
| tree | 93000cf1aff0140e9f0195e8c0345c97276eca2f /mathcomp/character/mxrepresentation.v | |
| parent | bcba70f86ac39c3d234da0d696c4b32a741e71cf (diff) | |
fix URL in README
Fix #200
Diffstat (limited to 'mathcomp/character/mxrepresentation.v')
0 files changed, 0 insertions, 0 deletions