diff options
| author | Dan Halbert <halbert@halwitz.org> | 2018-12-05 16:18:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-05 16:18:55 -0500 |
| commit | ca3c9920375909245f4efed1de4b2c192dbbad3a (patch) | |
| tree | 6a41eab51366f328705fcaf97c3eab3d4361ba5d /main.c | |
| parent | 56b71281b3637e817d8b15f98a0dc1f37b138094 (diff) | |
| parent | 58f230d63239a39b98aab7c1289bc1daccd59d43 (diff) | |
Merge pull request #1379 from dhalbert/flush-output-to-travis
make sure travis sees some output in time
Diffstat (limited to 'main.c')
0 files changed, 0 insertions, 0 deletions