diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-04-01 16:27:49 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-01 16:35:37 -0700 |
| commit | 6a08915a8c2009d80a562154c49e62ebd6a36b33 (patch) | |
| tree | c82b38a2916542562a96585d89ed6646c3f9ec74 /tools | |
| parent | 00c2e03551a61ca76bdb303f1c007845f8a6dbd6 (diff) | |
simplify and unify handling of externals
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions