| commit | 7078fbb1f4d13082703d124f838b9c57c11d53fe | [log] [tgz] |
|---|---|---|
| author | Cosmos Nicolaou <cnicolaou@google.com> | Thu Nov 12 17:55:01 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Nov 12 17:55:01 2015 +0000 |
| tree | 3e18d9ce0235dbdc014a2bdd6246bf7284fd9a52 | |
| parent | 0e44d31c6a4365294b12d19e2af76af187da1572 [diff] | |
| parent | f350a3c1a816170858edac061065930d57a2888e [diff] |
Merge "v.io/jiri/profiles: prevent use of target Tags."
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri