commit | 14279cbe9bdc1da18eb8ca5744b95f42d77dc17d | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Fri Jan 08 14:37:41 2016 -0800 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Fri Jan 08 14:38:13 2016 -0800 |
tree | 607557f67c69aac44284e41d14ef6ef4f3d94908 | |
parent | 4f9b712fa851891f6a6b1c267dc67d168ae21cc2 [diff] |
v.io/jiri/profiles: simple bug fix. Change-Id: Ie38762285aba7ad416d82f82af96bc9fb46af9fb
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri