tree 06174d40e71470a992ee874aa1e47f881e810e13
parent 9961eb0877c764357e29cf3dcc84bfa8973786cf
parent e8ce3024bbcb29cbb8ef09713d13f212c19a87a1
author Cosmos Nicolaou <cnicolaou@google.com> 1444422585 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1444422585 +0000

Merge "v.io/jiri: continue to tidy-up and convert to new-style profiles."