tree 8350868bb2a6542c49df343504077162e1700e12
parent dca2a2f5ba3cf5d75141170682999f79c7c116e6
author Adam Sadovsky <asadovsky@gmail.com> 1442022168 -0700
committer Adam Sadovsky <asadovsky@gmail.com> 1442022168 -0700

todos: add $V23_ROOT/devtools/bin to PATH in case user hasn't done so

Change-Id: I5a59210cc1e223b75ce958bbf222f77fe14de813