tree b9eb4522a25a5d023d1b357d95d555aa1c9773e5
parent fef7ecd7ba0974bd4e962eecf52bce73e05c3f69
author Cosmos Nicolaou <cnicolaou@google.com> 1457462300 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1457462337 -0800

v.io/jiri: fix bug in profile list.

Change-Id: I05fca95ae8719c3eb23c103f7195034a0782b335