tree f5e031a6ec0d2464668ce4642c15b66f73904942
parent 50c2f134bda9b359a2fc53fca54fd282ee11745e
parent 4652cb480d24786be4b38e8a9457c045add92259
author Cosmos Nicolaou <cnicolaou@google.com> 1456172778 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1456172778 +0000

Merge "v.io/jiri: set default profiles appropriately."