commit | 243d257c900aff96c2f1bc7d075450193346fe2a | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Fri Nov 20 04:48:47 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Nov 20 04:48:47 2015 +0000 |
tree | 996809b9f37d4665dd871001f85c91d50dbe78aa | |
parent | 6ece17ed8d9970af7ca722070b3b70e160b45c81 [diff] | |
parent | a7480225b7013e700ccdaea4075977d21c30a42f [diff] |
Merge "v.io/jiri: remove support for old style profiles"
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri