tree 25637b64a21620e114d752003303f9fe726509f0
parent 0d63b6f839e6b5f3a91c2910b5b0d7e796ba4272
author Cosmos Nicolaou <cnicolaou@google.com> 1460152432 -0700
committer Cosmos Nicolaou <cnicolaou@google.com> 1460408043 +0000

v.io/x/devtools: remove unusued jiri-v23-profile subcommand.

Change-Id: Ieab9085f706108e6476f3973eb69909b6051be62