| commit | 54aec20d8102f5bf09d20d0f007cebf15af38dae | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Thu May 16 13:31:13 2019 +0200 |
| committer | Philipp Wollermann <philwo@google.com> | Thu May 16 13:31:13 2019 +0200 |
| tree | caa99d22a32321f54b19c1851bc14739bb1dce4d | |
| parent | a2c94967549b89d1e10e8019cbdfbabdcf1b397e [diff] |
Make push.sh executable