Fix workspace directory docs

This commit is contained in:
Wojtek Figat
2020-12-09 19:38:22 +01:00
parent ce8f27a6fb
commit 08ab3d6d83