tree f2675ff1b185f4b5115c6438bd04f2f09533dbce
parent c73ddbc7bb3cf9827ffe07a57dd62d3063534e89
author Cosmos Nicolaou <cnicolaou@google.com> 1456537589 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1456867376 +0000

syncslides: 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: 13/16

Change-Id: I002d87a693378d27b3c8aca1cd8240cf737f7d3d