History log of /development/apps/DevelopmentSettings/AndroidManifest.xml
Revision Date Author Comments
178634c8032d1ffbefc95c4bf1539213df1aeb69 06-Nov-2012 Dianne Hackborn <hackbod@google.com> Set correct targetSdkVersion for DevelopmentSettings

This app shouldn't be used on API 14 or earlier, which is when
the real development settings panel was introduced.

Change-Id: I1436ff938aa66942c592d615b7bd5910e8cbfd88
9da081228438a35c181c0f3d138698b007532c69 11-Oct-2012 Dianne Hackborn <hackbod@google.com> More on issue #7318666: hide developer options from user build

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