diff options
| author | Maxime Dénès | 2017-05-25 12:51:40 +0200 |
|---|---|---|
| committer | GitHub | 2017-05-25 12:51:40 +0200 |
| commit | 20d1012d25093970ea72b928794cfdde27757e50 (patch) | |
| tree | 8ec212ce80aabd9198bcb670b4a8e8de66edaa13 /mathcomp/Make | |
| parent | b95d801c7b49848b6d67987f8abfa44fc96367b2 (diff) | |
| parent | 7625fdb52bf22ea4c332eafbc088675517b202d3 (diff) | |
Merge pull request #125 from ejgallego/options+remove_non_sync
[options] Sync with upstream API changes.
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions