commit 15418d3d906f4afa17c862cd5d0f8f8deb437830
author Joshua Seaton <joshuaseaton@google.com> Wed Sep 25 17:59:02 2019 -0700
committer Joshua Seaton <joshuaseaton@google.com> Wed Sep 25 17:59:02 2019 -0700
tree d3c0287ea4c349dbcd6cb5705e3b7efe2bfb5758
parent 3347eda8a063f8d285ca1be2fcfba0841364a1ff

[infra] Remove tools.git from the infra manifest

The repo no longer contains anything.

Change-Id: I917aecf653f3a0d135a6a7d274c092a926d35ee2

infra

diff --git a/infra b/infra
index d14ea12..007b86f 100644
--- a/infra
+++ b/infra
@@ -28,10 +28,6 @@
              path="fuchsia/recipes"
              remote="https://fuchsia.googlesource.com/infra/recipes"
              gerrithost="https://fuchsia-review.googlesource.com"/>
-    <project name="tools"
-             path="tools"
-             remote="https://fuchsia.googlesource.com/tools"
-             gerrithost="https://fuchsia-review.googlesource.com"/>
     <!-- CHROMIUM -->
     <project name="chromium/recipes-py"
              path="chromium/recipes-py"