tree 4c540ee1fc63e2e85b9a681f1e0daf0ed9ed400e
parent 66898b0cc9cf52249271a54b38a04b1725884478
author Fan Zhang <zhfan@google.com> 1515628700 -0800
committer Fan Zhang <zhfan@google.com> 1515702662 -0800

Misc fixes in device info page

- Move DeviceInfoSettings to deviceinfo package
- Remove deprecated manifest entries
- Rename a bunch of things
- Add ripple and change text color to accent for security patch

Change-Id: I35c04e53829a67cba553f984ad1a1b9319077873
Fixes: 71775150
Test: robotests