| commit | e3da790f8c2a8d728ba8febc1334ff44883055d2 | [log] [tgz] |
|---|---|---|
| author | Jessica Hummel <jhummel@google.com> | Wed Aug 20 15:20:11 2014 +0100 |
| committer | Jessica Hummel <jhummel@google.com> | Wed Sep 10 08:08:02 2014 +0000 |
| tree | 84e09bb13c115758d9b177c476d18cf9dad94918 | |
| parent | 699a49b9f1d1a7f44a37fa9df96f22f724fbeb1f [diff] |
Remove unused DEFAULT_MANAGED_PROFILE_NAME extra from DevicePolicyManager. Change-Id: I6fe96df66a4a78cf2e2455d58bba13051d108fdf bug:17152955