| commit | 1cad951295f4b7bbd6edd8c1c5c7a791f7078033 | [log] [tgz] |
|---|---|---|
| author | Xavier Ducrohet <xav@google.com> | Thu May 08 19:28:09 2014 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu May 08 19:28:09 2014 +0000 |
| tree | ef8a0d1fba6a97a1f5eb00581aef6f9f014ef386 | |
| parent | 4bc5275825af47e11479b2cbff01193e90ca2ff4 [diff] | |
| parent | d81eb5d83325a3e06e4b41b5c5f8cca5c62d161f [diff] |
Merge "Fix repo script to ignore tools"