tree ec9976f9163b0824002db30867b6d19af9796f6f
parent a30bc5dad70acb239625463cb0118d025cef55a5
parent f777e42d1f5b7e1bf609bccb3ef17a56dbfab698
author Cosmos Nicolaou <cnicolaou@google.com> 1447799655 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1447799655 +0000

Merge "v.io/jiri/profiles/commandline: --rm-all should error out if there are no profiles installed."