| commit | 73469d9de1432bee6c5ac03277e58c70c5130e3a | [log] [tgz] |
|---|---|---|
| author | Fan Zhang <zhfan@google.com> | Tue Jun 12 12:06:17 2018 -0700 |
| committer | Edgar Wang <edgarwang@google.com> | Mon Nov 12 20:25:51 2018 +0800 |
| tree | dd2646877b77c1061f1245fc060793c00aff4664 | |
| parent | ff171eff8ea2e65e3f400cf5cb6ce025402381ce [diff] |
Hide quicksetting tile for dev options when it's turned off Merged-In: I3e11700a59c8a88bb586c77a876963b5e6a62c89 Change-Id: I3e11700a59c8a88bb586c77a876963b5e6a62c89 Fixes: 78652607 Bug: 117770924 Test: robotests