| commit | c52e26af2aa95a97e39096cb8aad3d4a42b8a38c | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philipp.wollermann@gmail.com> | Sat May 18 22:10:47 2019 +0200 |
| committer | Philipp Wollermann <philipp.wollermann@gmail.com> | Sat May 18 22:15:13 2019 +0200 |
| tree | 32acb14760460b8ae9c938e944e249f5a7233c2d | |
| parent | 57b32683c8dc11eb6cfb82b31ac1e916fdca5c96 [diff] |
Remove host-platform from bazelci.py.