tree 30fbefcf04cf85c9d38561e9fc432e93db6993a5
parent 85dacc63d7e4cd42abd74f03d052f1a30843223f
author Keith Moyer <kmoy@google.com> 1555605669 -0700
committer Copybara-Service <copybara-worker@google.com> 1555605744 -0700

Correct typo in workspace_name docs

Closes #8078.

PiperOrigin-RevId: 244201901