Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add instruction to install shell plugin to doc (#1674)
More context [here](#1673) Wanted to keep it as short as possible @kevinjqliu
- Loading branch information