tree 09c0a22736b3efd215e639f170964d73117545f5
parent cc89533d598be1d627b15d49f0af29d758fa4019
author Cosmos Nicolaou <cnicolaou@google.com> 1457452778 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1457452778 -0800

mojo.v23proxy: v.io/x/devtools: start to use profile-v23

Switch jiri test and hence all checked in
references to use jiri profile vs jiri v23-profile.

MultiPart: 6/16

Change-Id: Idbf9da94b8eaa852f172d273f183324df6ea7401