| commit | 0d0d588b57060e882dd5bc6373b3cc41b89e0903 | [log] [tgz] |
|---|---|---|
| author | Asim Shankar <ashankar@google.com> | Wed Feb 18 14:23:53 2015 -0800 |
| committer | Asim Shankar <ashankar@google.com> | Wed Feb 18 14:23:57 2015 -0800 |
| tree | dff13c4fd744457a8ec76fd69cdbf5ba3b3068d4 | |
| parent | e77f995a166638b0590c0a36919ac94d6ecb7a41 [diff] |
TBR: tools/principal: Fix missing change in commit 799aa054d3c65bd34c48f98fcf8ecc3844731162 (This change should have been part of https://vanadium-review.googlesource.com/#/c/1670/) Change-Id: I4e1236a03957f2b3a3bd74a329a983908cccfc62