OSDN Git Service

Merge "Delete DevelopmentSettings.java"
authorTreeHugger Robot <treehugger-gerrit@google.com>
Sat, 18 Nov 2017 00:05:59 +0000 (00:05 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Sat, 18 Nov 2017 00:05:59 +0000 (00:05 +0000)

Trivial merge