android_development/apps/DevelopmentSettings, branch stable/cm-10.2 Unnamed repository; edit this file 'description' to name the repository. Set correct targetSdkVersion for DevelopmentSettings 2012-11-06T00:24:52+00:00 Dianne Hackborn hackbod@google.com 2012-11-06T00:24:52+00:00 178634c8032d1ffbefc95c4bf1539213df1aeb69 This app shouldn't be used on API 14 or earlier, which is when the real development settings panel was introduced. Change-Id: I1436ff938aa66942c592d615b7bd5910e8cbfd88 
This app shouldn't be used on API 14 or earlier, which is when
the real development settings panel was introduced.

Change-Id: I1436ff938aa66942c592d615b7bd5910e8cbfd88
More on issue #7318666: hide developer options from user build 2012-10-11T02:01:09+00:00 Dianne Hackborn hackbod@google.com 2012-10-11T02:01:09+00:00 9da081228438a35c181c0f3d138698b007532c69 The Dev Tools app now tries to add a link to Development Settings at the top of its list. Also add a new "Development Settings" app that directly takes you to the development settings activity, as a stand-alone app that could be distributed as a regular third party app. Change-Id: I8fe2b6a32cf4e37d69f4ce7b8d646a147b492d99 
The Dev Tools app now tries to add a link to Development Settings
at the top of its list.

Also add a new "Development Settings" app that directly takes you
to the development settings activity, as a stand-alone app that
could be distributed as a regular third party app.

Change-Id: I8fe2b6a32cf4e37d69f4ce7b8d646a147b492d99