diff options
| author | Maxime Dénès | 2017-05-25 11:20:34 +0200 |
|---|---|---|
| committer | GitHub | 2017-05-25 11:20:34 +0200 |
| commit | b95d801c7b49848b6d67987f8abfa44fc96367b2 (patch) | |
| tree | 890f5dce5ecebed661d9bc86677f998f5946ff79 /mathcomp/Make | |
| parent | a9ec3525dd993f9d55afa897fe10bf2fc0a4b030 (diff) | |
| parent | 3500ccbc0c5e06dfe3f053d1ee80185b1930b900 (diff) | |
Merge pull request #124 from ejgallego/located_switch
[ast] Adapt to Coq's #402 new generic AST node.
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions