tree 18895542c7736c06c614795e495ff2ad8ddd3432
parent a47c389dece77b2b731f160ad011e9315b3299fd
author Cosmos Nicolaou <cnicolaou@google.com> 1456876506 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1456876506 -0800

mojo.shared: 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: 5/16

Change-Id: I57a35cdd852e285431c445e4d844077320f14961