commit | 15418d3d906f4afa17c862cd5d0f8f8deb437830 | [log] [tgz] |
---|---|---|
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 [diff] |
[infra] Remove tools.git from the infra manifest The repo no longer contains anything. Change-Id: I917aecf653f3a0d135a6a7d274c092a926d35ee2
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