| commit | 04f1e38dc3af5b79849be07f31235ad8c1b20574 | [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 19:52:32 2018 +0800 |
| tree | 2772a11e6bc4e7efa65adf33d26dd7b401319fc1 | |
| parent | c05958ecdd13fe5a42cc3e3b6755a5bf9f7fee49 [diff] |
Hide quicksetting tile for dev options when it's turned off Merged-In: I3e11700a59c8a88bb586c77a876963b5e6a62c89 Change-Id: I3e11700a59c8a88bb586c77a876963b5e6a62c89 Fixes: 78652607 Bug: 117770924 Test: robotests