tree bbb3c2c2ab821df5e0a36b9b46f9d4b26ac8b4ff
parent 76dcceebe2713d12626b1eb02595f13ecaecbf75
author Cosmos Nicolaou <cnicolaou@google.com> 1457452764 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1457452764 -0800

js.core: 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: 3/16

Change-Id: I6eed30ed37cbc75bf6b45288ab7fea5365a056fb