tree 996809b9f37d4665dd871001f85c91d50dbe78aa
parent 6ece17ed8d9970af7ca722070b3b70e160b45c81
parent a7480225b7013e700ccdaea4075977d21c30a42f
author Cosmos Nicolaou <cnicolaou@google.com> 1447994927 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1447994927 +0000

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