OSDN Git Service

Merge "Rename dev options xml file"
authorJeffrey Huang <jeffreyhuang@google.com>
Tue, 14 Nov 2017 21:37:24 +0000 (21:37 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Tue, 14 Nov 2017 21:37:24 +0000 (21:37 +0000)

Trivial merge