| commit | 4c57b33f4182e800b1132fdbf13ebe7a787b3d02 | [log] [tgz] |
|---|---|---|
| author | Jeffrey Huang <jeffreyhuang@google.com> | Tue Nov 14 21:37:24 2017 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Tue Nov 14 21:37:24 2017 +0000 |
| tree | 3e6b4aec6fd7ba18765d64ec306cfa7bf57203f5 | |
| parent | caacd0068b2885b6213988a9c340bfeb51a0d659 [diff] | |
| parent | d5e2fd30a908b20275c1f55580e3ddde4535813c [diff] |
Merge "Rename dev options xml file"