tree 84e09bb13c115758d9b177c476d18cf9dad94918
parent 699a49b9f1d1a7f44a37fa9df96f22f724fbeb1f
author Jessica Hummel <jhummel@google.com> 1408544411 +0100
committer Jessica Hummel <jhummel@google.com> 1410336482 +0000

Remove unused DEFAULT_MANAGED_PROFILE_NAME extra from DevicePolicyManager.

Change-Id: I6fe96df66a4a78cf2e2455d58bba13051d108fdf
bug:17152955