| commit | d81eb5d83325a3e06e4b41b5c5f8cca5c62d161f | [log] [tgz] |
|---|---|---|
| author | Xavier Ducrohet <xav@google.com> | Thu May 08 12:26:20 2014 -0700 |
| committer | Xavier Ducrohet <xav@google.com> | Thu May 08 12:26:20 2014 -0700 |
| tree | de691b83cd27d92536e36c20e9e4746f33935e07 | |
| parent | 21980124f6aeb923cea50895eab8d6b9c31aba4a [diff] |
Fix repo script to ignore tools Change-Id: I80e6d5802f9a4633378d432eff3e91c2fcf83eeb