commit | 5bb837ef1fed60adce569db465bacdf51e2b0e4f | [log] [tgz] |
---|---|---|
author | Todd Wang <toddw@google.com> | Fri Jan 29 17:07:18 2016 -0800 |
committer | Todd Wang <toddw@google.com> | Fri Jan 29 17:07:46 2016 -0800 |
tree | d7d5159629f81ba70eb5c4ecc896cf87e4824bab | |
parent | a57a216d2203eabd2e13a5caba27367aef53a095 [diff] |
jiri: Fix bug in new "jiri update" wrt LoadManifest. Change-Id: I87a8cb15acc29a541f16b4cde1d3ed92ec808749
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri