cmd-ref: document --rev option on update#1007

Merged

shcheklein merged 2 commits intomasterfrom doc-update-rev

Feb 29, 2020

+62-22

Commits on Feb 20, 2020

cmd-ref: document --rev option on update
skshetry
committed

Commits on Feb 28, 2020

minor: cosmetic changes
shcheklein
committed