| commit | f6edc7c80a3f44d8b7e298f2ffbbbb03b8a73457 | [log] [tgz] |
|---|---|---|
| author | Jason Monk <jmonk@google.com> | Wed Nov 22 10:04:38 2017 -0500 |
| committer | Jason Monk <jmonk@google.com> | Fri Mar 23 09:36:57 2018 -0400 |
| tree | 8a9ba400ece05e5cd62847460e31aeebc68795d3 | |
| parent | 2c1de66c583033893b0964b23a9d759af5c49a25 [diff] |
Add option for settings to push to a device index The index implementation is optional and left up to the OEM. Test: Open settings, see content in index Test: robo tests Bug: 68378569 Bug: 76102600 Change-Id: Idb8bb1e0cabbbe92e7a852e2eadbdcd8c2ab7d56