tree fa1f53677578003bd264925f693474c1a14209c9
parent 9e6062d9ff960d7d9af1f70878cb87bcbd61847b
author Todd Wang <toddw@google.com> 1427329175 -0700
committer Todd Wang <toddw@google.com> 1427329213 -0700

chat: Copy shell.sh from x/ref/cmd/mgmt/shell/lib.

This will allow us to remove x/ref/cmd/mgmt/shell/lib.

Change-Id: I8ceca5d4f715801e03fea3bd2b4675adf5bddb55