| commit | 4220b1e50ccec65cb47007155e0df7672a94a68d | [log] [tgz] |
|---|---|---|
| author | Fan Zhang <zhfan@google.com> | Tue Jun 12 12:06:17 2018 -0700 |
| committer | Edgar Wang <edgarwang@google.com> | Tue Nov 13 09:22:06 2018 +0800 |
| tree | 412af4803c642e01b81c96b3cd445ddd76d5b8d9 | |
| parent | 0eea3b6c9eadc0f222ed1ada70b3a45ed4df78d0 [diff] |
Hide quicksetting tile for dev options when it's turned off Merged-In: I3e11700a59c8a88bb586c77a876963b5e6a62c89 Change-Id: I3e11700a59c8a88bb586c77a876963b5e6a62c89 Fixes: 78652607 Bug: 117770924 Test: robotests