tree c1d615fca074729455f7e70aa7d085db03e6f462
parent 036a46cf3aa210c17ee159487367446d8be7f8fd
author Cosmos Nicolaou <cnicolaou@google.com> 1456537589 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1456867311 +0000

todos: 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: 14/16

Change-Id: I6926d9b86d9304d9c360b547e169b30c22944314