| commit | b84867f45069cb3dabcbf74cd25694de0cb37784 | [log] [tgz] |
|---|---|---|
| author | Fan Zhang <zhfan@google.com> | Tue Nov 20 21:42:26 2018 -0800 |
| committer | android-build-merger <android-build-merger@google.com> | Tue Nov 20 21:42:26 2018 -0800 |
| tree | 49eedb10087895eeafe7f08600a8066b8570f0d9 | |
| parent | 1c60e846e63eea496acbfb543588a2f2c48d0bd4 [diff] | |
| parent | b232d21e3d632d50768e88ddd20ac361ed710993 [diff] |
[automerger skipped] Hide quicksetting tile for dev options when it's turned off am: 73469d9de1 am: eeaff5deeb -s ours am: 622444d488 -s ours am: b232d21e3d -s ours Change-Id: I3556cb37a1ed60059fea16f4ffd91772ca15fbb3