| commit | 51a0ef8c59ea590b6e5e80a82fc75bf244084270 | [log] [tgz] |
|---|---|---|
| author | Jean Chalard <jchalard@google.com> | Wed Oct 31 15:35:20 2012 +0900 |
| committer | Jean Chalard <jchalard@google.com> | Wed Oct 31 16:35:22 2012 +0900 |
| tree | fb62328bb44263922cf698e0d44515446d5c23e0 | |
| parent | a8058d169dad450eca428ca76c5a0f44e45f41a7 [diff] |
Add a plumbing option to dicttool info. Also align the `porcelain' option to the diff command that was used mistakenly. Bug: 7388665 Change-Id: Ic0e1b98c62ce37b2e909384a0370af4458563703