commit | d6daaec431382c80bca3f5b96cc1aa7375a1361d | [log] [tgz] |
---|---|---|
author | Michael Thomsen <mit@google.com> | Thu Sep 05 16:59:53 2019 +0200 |
committer | GitHub <noreply@github.com> | Thu Sep 05 16:59:53 2019 +0200 |
tree | c706d129bbb57f5cdd993bf4137930a82e292340 | |
parent | 62a3d3d4a08ef7c5be69014d1c6fd8ec83283cae [diff] |
Add travis badge (#2)