diff options
author | Jason Gross <jgross@mit.edu> | 2018-01-10 19:37:49 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2018-01-10 19:37:49 -0500 |
commit | f7b212b9075dc3cf323eeb05ab99788eb9094807 (patch) | |
tree | 2fb8af10184273f30283ce9ab8646c5cad05f034 /_CoqProject | |
parent | 4b0aa5c4e33f800588cf840b93c4ed55d56118c5 (diff) |
Add travis_retry to work around bugs in travis
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions