commit | 40ad715f74740451e888b336b302f9e8628f3964 | [log] [tgz] |
---|---|---|
author | Xavier Ducrohet <xav@google.com> | Thu May 08 19:36:30 2014 +0000 |
committer | Android Git Automerger <android-git-automerger@android.com> | Thu May 08 19:36:30 2014 +0000 |
tree | 9801127661cd434e8a688134e715007100a9a41b | |
parent | 96dc8d3956ada4cef55797049e8c91dc5eb42c0d [diff] | |
parent | 7fc13d7ad63eb0fad3d30b4b909baca6651ee303 [diff] |
am 7fc13d7a: am 1cad9512: Merge "Fix repo script to ignore tools" * commit '7fc13d7ad63eb0fad3d30b4b909baca6651ee303': Fix repo script to ignore tools