diff options
| author | Cyril Cohen | 2019-04-08 14:18:00 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-08 14:18:00 +0200 |
| commit | 86d0a640383d6039302b9126620d0bf031a2a011 (patch) | |
| tree | f81a6cfe987fcd2944f9df1566a6059408761cf6 /mathcomp/_CoqProject | |
| parent | 8099c05ca650b12abd0fbaf676357e86fd175a8a (diff) | |
| parent | a348deb229074be37ff31fd892a7d8835a49b566 (diff) | |
Merge pull request #318 from CohenCyril/hierarchy_test
Least common childen
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions