tree cff9ff584d4274357c74f13a43f1ed49b12860a8
parent ebfd385ab9802064e1100b62a05ca028efd59c43
parent d8cfe16d5fb3f55bf5f4973e3866e7513b572d92
author Cosmos Nicolaou <cnicolaou@google.com> 1458150002 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1458150002 +0000

Merge "v.io/jiri: remove support for old style profiles"