| commit | edd777158310ebab7ad5667408e7f40011deb346 | [log] [tgz] |
|---|---|---|
| author | Josh Gao <jmgao@google.com> | Tue Apr 07 20:36:47 2020 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Apr 07 20:36:47 2020 +0000 |
| tree | 284d2df94ac2b277d1b808a2d5f44f0a88c887df | |
| parent | a0c191867f49cb20df36f969cf48fca075f6bf48 [diff] | |
| parent | ba6d1da8eac55277e0fe3277328180e3fbee56e3 [diff] |
Merge "adb: add option to disable kill-server."