OSDN Git Service

Merge "Filter ANDROID_PROPERTY_WORKSPACE"
authorNick Kralevich <nnk@google.com>
Wed, 16 Jan 2013 19:11:17 +0000 (11:11 -0800)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Wed, 16 Jan 2013 19:11:17 +0000 (11:11 -0800)

Trivial merge