commit | 376fd8348fff7a6a4bc9fb4588ced9a4bdb73f95 | [log] [tgz] |
---|---|---|
author | Todd Wang <toddw@google.com> | Thu Nov 05 11:28:48 2015 -0800 |
committer | Todd Wang <toddw@google.com> | Thu Nov 05 11:28:48 2015 -0800 |
tree | 5b329e11b71edb54f7687422cc9b6ff2e2b7f3f1 | |
parent | 6cb89bd5bdd295127c59b0088b1813ff67a23cd2 [diff] |
jiri: Change jiri rebuild to rebuild all tools Also move manifest description into a help topic. MultiPart: 1/2 Change-Id: Ic9876445501ba6cc38e8f9185ffea595e4fb8f65
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri