diff options
| author | Enrico Tassi | 2016-12-06 15:49:30 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-12-06 16:31:01 +0100 |
| commit | 5b4d0a94d59e3681f24cdcdb27485365b456a1f5 (patch) | |
| tree | 442aeb9522304e9dda07a4520e258db485feb2f8 /mathcomp/Make | |
| parent | 30c25338db99c34c43587a004afc65094ddf32bc (diff) | |
backport Coq PR#387 on ssrmatching for Coq v8.5
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions