aboutsummaryrefslogtreecommitdiff
path: root/gitolite-tools/user_repos.pl
diff options
context:
space:
mode:
authorAndy Doan <andy.doan@linaro.org>2016-11-04 12:45:52 -0500
committerAndy Doan <andy.doan@linaro.org>2016-11-07 17:42:13 +0000
commit59a56a55ab21222ea6cbf0b59c5a22e89c3d4ff0 (patch)
treeb7b94945646e796b6adfc0bd79151cc50b9286c4 /gitolite-tools/user_repos.pl
parent336061bcd623f77112df2371e75e030f216f1341 (diff)
remove toolchain-tools script
This has been moved to our improved common mirroring logic Change-Id: I0170f7e31ccb2edd8115252154bef89275725192
Diffstat (limited to 'gitolite-tools/user_repos.pl')
0 files changed, 0 insertions, 0 deletions