tree ae957ee1509c5e568cd27577a794da0257dbd4d2
parent 9454b1c8b6d36e56b749bed06cfe7afb04a32375
parent b1134dd04900416e74bc1ee51f65d4e066d90334
author Android (Google) Code Review <android-gerrit@google.com> 1245284535 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1245284535 -0700

Merge change 4541 into donut

* changes:
  remember in the target-files package what version of the API recovery uses