commit | 607e63b1d138a47cc976c85e22e66744ec31d071 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Fri Feb 26 17:46:30 2016 -0800 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 01 21:23:44 2016 +0000 |
tree | 9d6b80d51c46f436d36e8aecfde8e325413f9337 | |
parent | d29f6eab04cf5b07261aa2b40e641cab01fbdbe7 [diff] |
playground: 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: 11/16 Change-Id: I2eb55012c05a3e0accad4862740c57b8240c8554
This repository contains the Vanadium project playground.