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 /lib/public_key/src | |
| 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 'lib/public_key/src')
0 files changed, 0 insertions, 0 deletions