commit | 103530d537f0b92ddbd5a66635a4909d8072933a | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 08 07:57:59 2016 -0800 |
committer | Ross Wang <rosswang@google.com> | Mon Mar 21 17:06:21 2016 -0700 |
tree | 12a903901138485caa22cc16d6fc4917926489f2 | |
parent | 93e253e4f8219959015b3b8d711309e133d06580 [diff] |
java: 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: 2/16 Change-Id: I28c3cdcdd31de39777ad0fe2d668ca7530fce4e2