diff options
| author |  Damien Martin-Guillerez <dmarting@google.com> | 2017-07-27 12:15:29 +0200 |
|---|---|---|
| committer | Damien Martin-Guillerez <dmarting@google.com> | 2017-07-27 13:00:27 +0200 |
| commit | eebc5e86a316b25176e2ec82d599c12ee2b8a9e8 (patch) | |
| tree | 67f961a36626ee7499c859830cfac66ddde685a5 /src | |
| parent | a79ecf43aea2b5895f6a0dd9e5e915212fa70e32 (diff) | |
CI build.sh: delete unused code
This code was replaced by code on the CI side where it belongs.
Change-Id: I67741f27aee5f133fe29f8e1d57b843d96f3f9ea
PiperOrigin-RevId: 163320045
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions