tree 72c84477891c86022e6cb3cdc3b37a1b07f2173d
parent 32c8e7587e65c2e29a77286b74c61990c4142d34
author Asim Shankar <ashankar@google.com> 1427870882 -0700
committer Asim Shankar <ashankar@google.com> 1427870891 -0700

cmd/principal: Counterpart to https://vanadium-review.googlesource.com/#/c/9131/

MultiPart: 2/2
Change-Id: I990a90949c53840e359a75974117f3980ef4e84b