| commit | c94d7b8d824a27771cba18fcf7b5152966294a15 | [log] [tgz] |
|---|---|---|
| author | Gary Roumanis <grouma@google.com> | Fri Feb 15 12:08:35 2019 -0800 |
| committer | Gary Roumanis <grouma@google.com> | Fri Feb 15 12:08:35 2019 -0800 |
| tree | 150ddf164e6468b7dd7d43de3961edf52878207c | |
| parent | b6a429204c3a72fac221d1754ffc4186f444cbc9 [diff] |
make travis.sh executable
diff --git a/tool/travis.sh b/tool/travis.sh old mode 100644 new mode 100755