tree a552c8d54a037ef9974c3181f98c0dd5aa2c7eb7
parent 3b140bafc95b0a3525bef58b72a1a450ae6c5679
author Cosmos Nicolaou <cnicolaou@google.com> 1456876651 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1456876651 -0800

mojo.discovery: 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: 4/16

Change-Id: If9cc4f099376711c3adc5070166f5922b36e3f14