commit | 7fc13d7ad63eb0fad3d30b4b909baca6651ee303 | [log] [tgz] |
---|---|---|
author | Xavier Ducrohet <xav@google.com> | Thu May 08 19:32:31 2014 +0000 |
committer | Android Git Automerger <android-git-automerger@android.com> | Thu May 08 19:32:31 2014 +0000 |
tree | 105194dc44065a12303916ba8d6743c2b299e290 | |
parent | b05c061e501ef35b6b988e5f1f99ecb670d01bbe [diff] | |
parent | 1cad951295f4b7bbd6edd8c1c5c7a791f7078033 [diff] |
am 1cad9512: Merge "Fix repo script to ignore tools" * commit '1cad951295f4b7bbd6edd8c1c5c7a791f7078033': Fix repo script to ignore tools