| commit | 87557bd6ad898a0b0fece40aec551537fa11c490 | [log] [tgz] |
|---|---|---|
| author | Cosmos Nicolaou <cnicolaou@google.com> | Tue Nov 17 22:34:15 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Nov 17 22:34:15 2015 +0000 |
| tree | ec9976f9163b0824002db30867b6d19af9796f6f | |
| parent | a30bc5dad70acb239625463cb0118d025cef55a5 [diff] | |
| parent | f777e42d1f5b7e1bf609bccb3ef17a56dbfab698 [diff] |
Merge "v.io/jiri/profiles/commandline: --rm-all should error out if there are no profiles installed."
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri