tree 7f8310a7f5534634c4a18eb473e9f52187b2d662
parent 2cd006c8f927d3e364c32f946b844377bdc56d3e
parent 5b6f8d865d03f37c8c3a9397ca693ac671f39df7
author Android (Google) Code Review <android-gerrit@google.com> 1241134214 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1241134214 -0700

Merge change 840 into donut

* changes:
  TypedProperties: change the file format to be a subset of Java