OSDN Git Service

Merge "Fix issue #7318666: hide developer options from user build" into jb-mr1-dev
authorDianne Hackborn <hackbod@google.com>
Wed, 10 Oct 2012 22:53:57 +0000 (15:53 -0700)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Wed, 10 Oct 2012 22:53:57 +0000 (15:53 -0700)
commitaf0cea0a2148f8915a57c50a571636911feed9d3
tree02f12bb27711ce957d2c9a1c2d02ce36c6c214ed
parent33080be20a58d340f860feed444167edb527d689
parentcaefa9b5f03b595b81729407e4123fee18a4342c
Merge "Fix issue #7318666: hide developer options from user build" into jb-mr1-dev