tree abb732daeed496afc93fadafa8a7a64b825c9d1e
parent 6a77543a4c63cdcda0d2bf67b19e326d5c9a2282
author Cosmos Nicolaou <cnicolaou@google.com> 1448044329 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1448044329 -0800

v.io/x/devtools: remove jiri-env and jiri-profile.

MultiPart: 1/2
Change-Id: I146a65918d4900648f9a5b58ca33f1b9a2311b91