tree e0e8a52eafe4731091a77395159f65596d2fc2a2
parent 7f0f4f3c35fe0b6a94504ec39ac127fa935282ef
author Patrick Dubroy <dubroy@google.com> 1282848515 -0700
committer Patrick Dubroy <dubroy@google.com> 1282848515 -0700

Minor animation optimization -- use PropertyValueHolders.