tree 9b624e2bae0cf47a4611658fcf40dd7d2d0b5b43
parent e55ba43171cb46cc95aa90f83524c4751c7030ff
author Joe Malin <jmalin@google.com> 1364495645 -0700
committer Joe Malin <jmalin@google.com> 1369954703 -0700

Fix #8499531: Command line instructions

Change-Id: I4922855443f1f85e52ad4016ea3e33925c60e08e