| commit | d5e2fd30a908b20275c1f55580e3ddde4535813c | [log] [tgz] |
|---|---|---|
| author | jeffreyhuang <jeffreyhuang@google.com> | Mon Nov 13 16:58:55 2017 -0800 |
| committer | jeffreyhuang <jeffreyhuang@google.com> | Mon Nov 13 16:58:55 2017 -0800 |
| tree | 53594664d526bb03179ee82f9d72d994591e5977 | |
| parent | bbdc72c95a5f21ccd367d1640960bf14a5bef61e [diff] |
Rename dev options xml file Bug: 34203528 Test: Builds and tests still pass Change-Id: I7990555244c57f526b8609ae11154683aed889be