| commit | 622444d4886e0df016676b561002efe727d5b501 | [log] [tgz] |
|---|---|---|
| author | Fan Zhang <zhfan@google.com> | Tue Nov 20 02:34:38 2018 -0800 |
| committer | android-build-merger <android-build-merger@google.com> | Tue Nov 20 02:34:38 2018 -0800 |
| tree | 2772a11e6bc4e7efa65adf33d26dd7b401319fc1 | |
| parent | 04f1e38dc3af5b79849be07f31235ad8c1b20574 [diff] | |
| parent | eeaff5deeb2ee6a472b81b22ec43b3f23269dfb3 [diff] |
[automerger skipped] Hide quicksetting tile for dev options when it's turned off am: 73469d9de1 am: eeaff5deeb -s ours Change-Id: I1da9e0c3e5a170eb16a11a616d8a76fe6424d420