| commit | f91ff06cec494d442cadca8c4d0fd1a63ebf8240 | [log] [tgz] |
|---|---|---|
| author | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 01 15:57:31 2016 -0800 |
| committer | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 01 15:57:31 2016 -0800 |
| tree | a552c8d54a037ef9974c3181f98c0dd5aa2c7eb7 | |
| parent | 3b140bafc95b0a3525bef58b72a1a450ae6c5679 [diff] |
mojo.discovery: 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: 4/16 Change-Id: If9cc4f099376711c3adc5070166f5922b36e3f14