Google Git
Sign in
vanadium / release.go.jiri / 7536f9f1a98345a09d1a71d2da4cc16a0bed83f0
commit7536f9f1a98345a09d1a71d2da4cc16a0bed83f0[log] [tgz]
authorCosmos Nicolaou <cnicolaou@google.com>Fri Nov 20 10:32:09 2015 -0800
committerCosmos Nicolaou <cnicolaou@google.com>Fri Nov 20 10:32:09 2015 -0800
treeabb732daeed496afc93fadafa8a7a64b825c9d1e
parent6a77543a4c63cdcda0d2bf67b19e326d5c9a2282 [diff]
v.io/x/devtools: remove jiri-env and jiri-profile.

MultiPart: 1/2
Change-Id: I146a65918d4900648f9a5b58ca33f1b9a2311b91
1 file changed
tree: abb732daeed496afc93fadafa8a7a64b825c9d1e
  1. collect/
  2. gerrit/
  3. gitutil/
  4. googlesource/
  5. jenkins/
  6. profiles/
  7. project/
  8. retry/
  9. runutil/
  10. tool/
  11. util/
  12. .api
  13. .gitignore
  14. .godepcop
  15. AUTHORS
  16. cl.go
  17. cl_test.go
  18. cmd.go
  19. contrib.go
  20. CONTRIBUTING.md
  21. CONTRIBUTORS
  22. doc.go
  23. LICENSE
  24. PATENTS
  25. project.go
  26. README.md
  27. rebuild.go
  28. snapshot.go
  29. snapshot_test.go
  30. update.go
  31. VERSION
README.md

Jiri

“Jiri integrates repositories intelligently”

This repository implements the Jiri repository management tool.

For documentation, see http://godoc.org/v.io/jiri