diff options
| author | Enrico | 2017-02-06 20:21:30 +0100 |
|---|---|---|
| committer | GitHub | 2017-02-06 20:21:30 +0100 |
| commit | 03813123823780fc4a17e960a50758055573c7da (patch) | |
| tree | 6152d7951d20f0e578059e1a7cdc7a9ee6b40a24 /mathcomp/_CoqProject | |
| parent | c4a2f8e4f80764266406e7166572e553c0ff2f5f (diff) | |
| parent | ab3eda33281366194e1eadb5c53970da8fd3b3b5 (diff) | |
Merge pull request #103 from ejgallego/travis
[travis] Add initial Travis CI support.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions