| commit | e1ad616badae188a0199df7ecb4fa27cf905ba57 | [log] [tgz] |
|---|---|---|
| author | Yabin Cui <yabinc@google.com> | Wed Dec 13 17:07:48 2017 -0800 |
| committer | Yabin Cui <yabinc@google.com> | Wed Dec 13 17:07:48 2017 -0800 |
| tree | b84f1bc0e4d27688f6786aa9483b7412d31fbae5 | |
| parent | 5fbe6e42123ee3b740a5c8da106427df05a228a1 [diff] |
inferno: support --title option. Allow adding a custom title for a report html. Bug: http://b/70636208 Test: run inferno manually. Change-Id: Ic5f57be9d1a8f3f69d4598851dbbedbdbc17facb