Martin Atkins 5a57962a32 website: replace "env" command docs with "workspace" command docs ...

We are replacing this terminology. The old command continues to work for
compatibility, but is deprecated. The docs should reflect the
currently-recommended form.

2017-06-09 16:26:26 -07:00

..

delete.html.md

website: replace "env" command docs with "workspace" command docs

2017-06-09 16:26:26 -07:00

index.html.md

website: replace "env" command docs with "workspace" command docs

2017-06-09 16:26:26 -07:00

list.html.md

website: replace "env" command docs with "workspace" command docs

2017-06-09 16:26:26 -07:00

new.html.md

website: replace "env" command docs with "workspace" command docs

2017-06-09 16:26:26 -07:00

select.html.md

website: replace "env" command docs with "workspace" command docs

2017-06-09 16:26:26 -07:00