| commit | 98cb874515a0f07adbb073a9e64a88773c088a0e | [log] [tgz] |
|---|---|---|
| author | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 01 15:55:06 2016 -0800 |
| committer | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 01 15:55:06 2016 -0800 |
| tree | 18895542c7736c06c614795e495ff2ad8ddd3432 | |
| parent | a47c389dece77b2b731f160ad011e9315b3299fd [diff] |
mojo.shared: 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: 5/16 Change-Id: I57a35cdd852e285431c445e4d844077320f14961