tree 906272eef0813c6f43d20746210095726c35d1c2
parent 7612175ffab1371e3f8ddd71afe4633bfcb5424c
author Ina Huh <ihuh@google.com> 1565109143 -0700
committer Ina Huh <ihuh@google.com> 1565117463 +0000

[tools] Remove infra tools.

Merge commit that moved these tools to infra/infra:
https://fuchsia.googlesource.com/infra/infra/+/554a756697fa372366d4d171ff5cc0e000ae45d4

Change-Id: Ia9b6784a7411132e5ec43b260918cbbc586c2b4c