tree a341bca853bca99be374834d8d033f8f0d545d8a
parent b6e7a85ac1dc222857548cdf316ed5e633eadcf8
parent b6ae9c2202cfde7fd772b0a984b11c800addbbe9
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."