tree d3c0287ea4c349dbcd6cb5705e3b7efe2bfb5758
parent 3347eda8a063f8d285ca1be2fcfba0841364a1ff
author Joshua Seaton <joshuaseaton@google.com> 1569459542 -0700
committer Joshua Seaton <joshuaseaton@google.com> 1569459542 -0700

[infra] Remove tools.git from the infra manifest

The repo no longer contains anything.

Change-Id: I917aecf653f3a0d135a6a7d274c092a926d35ee2