diff options
| author | Florent Hivert | 2016-03-02 11:47:26 +0100 |
|---|---|---|
| committer | Florent Hivert | 2016-03-02 11:47:26 +0100 |
| commit | fa6486545241822586fbfec995715a534e3489ee (patch) | |
| tree | 3465142249600fffe0a4cce10bdd7752c2844b87 /mathcomp/ssreflect | |
| parent | f3938c6ee7395589df4e6181bedcf74231138916 (diff) | |
Fix the address if the wiki.
The previous fix wasn't right.
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions