tree 6400fea95499ed1d024e3dfaafc6ea47125764a7
parent a5711f1bc68ac2add902d4fd62a68f74a9d08a56
author Fan Zhang <zhfan@google.com> 1528830377 -0700
committer Fan Zhang <zhfan@google.com> 1528831921 -0700

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

Change-Id: I3e11700a59c8a88bb586c77a876963b5e6a62c89
Fixes: 78652607
Test: robotests