diff options
| author | Cyril Cohen | 2020-06-06 19:40:08 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-06 19:40:08 +0200 |
| commit | 778a88cf49d5b3dd3e82d2a25703acc1d050f0e5 (patch) | |
| tree | 873bd2b71d5ca5c9c48b2d9929b81b964f693a7c /coq-mathcomp-ssreflect.opam | |
| parent | 258f7f981174f0681bd089476706675fbd331a88 (diff) | |
| parent | d50fa93d5bdddbc42bceb59a9e40cace01dfc2ba (diff) | |
Merge pull request #522 from affeldt-aist/update_readme
change links to the wiki to links to the website
Diffstat (limited to 'coq-mathcomp-ssreflect.opam')
0 files changed, 0 insertions, 0 deletions