tree b719c4ba1e509777635f02fa31703ac7e8d2fe13
parent 426e8df96718309895c6242a07426320dd1e234e
author Cosmos Nicolaou <cnicolaou@google.com> 1457452931 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1457452931 -0800

website: 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: 15/16

Change-Id: I2e6bb2cb200cb3f7e552a30a8dd2a9f1a4bc3106