Minor changes to the deployment guides.
[it/dep.git] / tools /
2020-02-11 Zhe HuangMerge R3 into master 64/2464/5