tree 6951f01b39e76a481f4d292434b5f668d5b037b3
parent f8d659af6c15871f22b9ac4fe9cf5228a92c4511
author Fan Zhang <zhfan@google.com> 1528830377 -0700
committer android-build-team Robot <android-build-team-robot@google.com> 1543986857 +0000

Hide quicksetting tile for dev options when it's turned off

Merged-In: I3e11700a59c8a88bb586c77a876963b5e6a62c89
Change-Id: I3e11700a59c8a88bb586c77a876963b5e6a62c89
Fixes: 78652607
Bug: 117770924
Test: robotests
(cherry picked from commit 4220b1e50ccec65cb47007155e0df7672a94a68d)