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
3 files changed
tree: 9d6b80d51c46f436d36e8aecfde8e325413f9337
  1. client/
  2. go/
  3. .gitignore
  4. AUTHORS
  5. CONTRIBUTING.md
  6. CONTRIBUTORS
  7. LICENSE
  8. PATENTS
  9. README.md
  10. VERSION
README.md

This repository contains the Vanadium project playground.