tree 87aa0df664e509de63f7a8f7475662580e4c74bf
parent 04b8962b5b71878fbbb36626ae19cf0bffdc26a3
author Cosmos Nicolaou <cnicolaou@google.com> 1457137997 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1457137997 -0800

croupier: 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: 9/16

Change-Id: Ie2cfd482bc6cd1bb6963079bec2b079db6c738db