tree fd60fb886045a715ba88f0b3dcf3f367fb8ceb6e
parent d3a90bb9e915b8979daeee344714027452b1e718
parent 56f383ce68f50ca7b600b31c1c8a78e354d36cd3
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