diff options
author | Björn Gustavsson <[email protected]> | 2017-03-08 07:28:31 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-03-08 07:28:31 +0100 |
commit | 0fe6927bf752226270b191282375a031768d8be3 (patch) | |
tree | 50dba1a5ce11c612c84a43b21868d7169a9c6568 /.gitignore | |
parent | 266b7f805250acfc91d5242e5a73bd8dc51f8d47 (diff) | |
parent | 19ea615886979e65a691f2a2a394e5cd8057b39a (diff) | |
download | otp-0fe6927bf752226270b191282375a031768d8be3.tar.gz otp-0fe6927bf752226270b191282375a031768d8be3.tar.bz2 otp-0fe6927bf752226270b191282375a031768d8be3.zip |
Merge pull request #1366 from bjorng/bjorn/travis/print-progress-dots
Travis CI: Avoid that builds gets killed for inactivity
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions