tree aafcd32f64b5dad707eef89ae76f1fd6df7998f3
parent baec5f9c9a116b6e7fa28273684e7ef9a5f5e08f
author Gary Miguel <garymm@google.com> 1546032510 -0800
committer Gary Miguel <garymm@google.com> 1546450136 -0800

[ensure] Delete infra tools.

They're all in infra/prebuilt:
https://fuchsia.googlesource.com/infra/prebuilt/+/master/cipd.ensure

Change-Id: Ib0583dfdcb4bf0699257bd92635f5613470fb55e