tree 680c1877239044acb395909aa8b3209ab991c9a8
parent 67ecabc4938033cc61b9788008eefdaced340a0b
parent ddf6d98dc88292357d1645667a36f18b5f2766f6
author Cosmos Nicolaou <cnicolaou@google.com> 1456894715 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1456894715 +0000

Merge "mojo.v23proxy: v.io/jiri: move v.io/jiri/jiri to v.io/jiri"