commit | 2407539294b49ee4bee0cb50ae40e70ab2351ce4 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Tue Nov 17 21:18:33 2015 -0800 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Wed Nov 18 05:50:59 2015 +0000 |
tree | 387823931e8cf315d1e38ebece36874c7e780710 | |
parent | 87557bd6ad898a0b0fece40aec551537fa11c490 [diff] |
TBR: v.io/jiri/profiles/commandline: fix bug in --ensure-specific-versions-are-set. Change-Id: I6b4a1706c247b842a47a168d386c2e16826f10e3
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri