tree 3f1ae659640b9b3e37c7882cb52afbf6a4bd963d
parent f0be2134e577048c932c5810a7f8a30876bff665
author Jason Sams <rjsams@android.com> 1259610610 -0800
committer Jason Sams <rjsams@android.com> 1259610610 -0800

Rename special dump properity so we can set it on user builds.