| commit | 63767d2b9769fc5e8e5f0c2baf382f9667c1a309 | [log] [tgz] |
|---|---|---|
| author | Fan Zhang <zhfan@google.com> | Tue Jun 12 12:06:17 2018 -0700 |
| committer | Fan Zhang <zhfan@google.com> | Tue Jun 12 12:32:01 2018 -0700 |
| tree | 6400fea95499ed1d024e3dfaafc6ea47125764a7 | |
| parent | a5711f1bc68ac2add902d4fd62a68f74a9d08a56 [diff] |
Hide quicksetting tile for dev options when it's turned off Change-Id: I3e11700a59c8a88bb586c77a876963b5e6a62c89 Fixes: 78652607 Test: robotests