tree 9d6b80d51c46f436d36e8aecfde8e325413f9337
parent d29f6eab04cf5b07261aa2b40e641cab01fbdbe7
author Cosmos Nicolaou <cnicolaou@google.com> 1456537590 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1456867424 +0000

playground: 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: 11/16

Change-Id: I2eb55012c05a3e0accad4862740c57b8240c8554