diff options
| author | Emilio Jesus Gallego Arias | 2017-02-06 17:29:06 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-06 19:25:44 +0100 |
| commit | ab3eda33281366194e1eadb5c53970da8fd3b3b5 (patch) | |
| tree | 6152d7951d20f0e578059e1a7cdc7a9ee6b40a24 /mathcomp/_CoqProject | |
| parent | c4a2f8e4f80764266406e7166572e553c0ff2f5f (diff) | |
[travis] Add initial Travis CI support.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions