| commit | 5caff937237aee68aa23b67de053ab2ee57e8c93 | [log] [tgz] |
|---|---|---|
| author | Fabrice Di Meglio <fdimeglio@google.com> | Wed Feb 05 23:10:54 2014 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Wed Feb 05 23:10:55 2014 +0000 |
| tree | 2f4b3f1a805829b40eacfdcfc6ad7484fc15344a | |
| parent | 44c62f4b0406e63c3a604ea4d837b0f3f81ccea8 [diff] | |
| parent | 1b5edd535f2bd3d8209598e13c6e8f0424b30e26 [diff] |
Merge "Fix bug #12907897 Some Developer Options are not disabled when putting Developer Options to "OFF""