diff options
| author | Georges Gonthier | 2019-03-18 23:41:20 +0100 |
|---|---|---|
| committer | GitHub | 2019-03-18 23:41:20 +0100 |
| commit | 45662703052070ead1f9eb46c3b2d4bd487ce064 (patch) | |
| tree | 94eddb7e9bca379c3ec50e73c91301da459a0d18 /mathcomp/Make | |
| parent | e6622f6910759ed8bf07ce94827da778d397d228 (diff) | |
| parent | 7f25b156d2e33ec767732175f7030cd103e9b695 (diff) | |
Merge pull request #298 from math-comp/fix-hidden-branch-types
remove dependency on hidden case branch types
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions