Google Git
Sign in
vanadium / release.go.jiri / f777e42d1f5b7e1bf609bccb3ef17a56dbfab698
commitf777e42d1f5b7e1bf609bccb3ef17a56dbfab698[log] [tgz]
authorCosmos Nicolaou <cnicolaou@google.com>Tue Nov 17 11:13:01 2015 -0800
committerCosmos Nicolaou <cnicolaou@google.com>Tue Nov 17 11:13:01 2015 -0800
tree977fc4224cf72e851f89ad9217b297d6482bb28f
parentdc242550f035fb35a5cf97ddb6c4b837c1801feb [diff]
v.io/jiri/profiles/commandline: --rm-all should error out if there are no profiles installed.

Change-Id: Iee11518e700a9e0203d095191be8c439efc52d97
1 file changed
tree: 977fc4224cf72e851f89ad9217b297d6482bb28f
  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