Remove a rogue tools repo.

Change-Id: I17d4171c6927583351e08e7d76b6523e57f77f8f
1 file changed
tree: 8c7a1487dcd44c8686d50ece9ad53dafb4d61741
  1. default.xml