| commit | f78598f754e97840011c32e39152d4f744632c8c | [log] [tgz] |
|---|---|---|
| author | Xavier Ducrohet <xav@google.com> | Thu May 08 12:26:20 2014 -0700 |
| committer | Raphael Moll <raphael@google.com> | Fri Jun 20 08:24:05 2014 -0700 |
| tree | 1efaab41d3d317f6ab29f995a934d134216d6d40 | |
| parent | 295d21062a8a99d5ed31270034e05a38a88f66e9 [diff] |
Fix repo script to ignore tools. DO NOT MERGE. (cherry picked from commit d81eb5d83325a3e06e4b41b5c5f8cca5c62d161f) Change-Id: I7dbd0db25b84a11c36fcd570935357b0e755555c