diff options
| author | Yves Bertot | 2016-03-02 12:17:11 +0100 |
|---|---|---|
| committer | Yves Bertot | 2016-03-02 12:17:11 +0100 |
| commit | e778b39bf9253bce07dfef1bcce6979e16f74001 (patch) | |
| tree | 3465142249600fffe0a4cce10bdd7752c2844b87 /mathcomp/ssreflect | |
| parent | f3938c6ee7395589df4e6181bedcf74231138916 (diff) | |
| parent | fa6486545241822586fbfec995715a534e3489ee (diff) | |
Merge pull request #32 from hivert/patch-1
Fix the address of the wiki.
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions