[infra] Remove tools.git from the infra manifest

The repo no longer contains anything.

Change-Id: I917aecf653f3a0d135a6a7d274c092a926d35ee2
1 file changed
tree: d3c0287ea4c349dbcd6cb5705e3b7efe2bfb5758
  1. PATENTS
  2. README.md
  3. clang_toolchain
  4. cobalt
  5. dart_toolchain
  6. fuchsia
  7. gdb
  8. git-hooks/
  9. infra
  10. infra-git-hooks/
  11. jiri
  12. minimal
  13. policy.md
  14. qemu
  15. runtimes/
  16. vboot
  17. webkit
  18. zircon
README.md

Fuchsia Manifest

Contains the jiri manifests for Fuchsia. (Looking for Fuchsia getting started docs you swear used to be here? Some things moved to the fuchsia repository.)

To test local manifest changes see Jiri local update