From: Ingo Bürk Date: Tue, 13 Nov 2018 09:24:11 +0000 (+0100) Subject: Merge pull request #3521 from c-edw/feature/StripWorkspaceDocs X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=299e9b9fdd212c3c3cac19df079c8c5ba51a3b43;p=i3%2Fi3 Merge pull request #3521 from c-edw/feature/StripWorkspaceDocs Update userguide docs for strip_workspace_*. --- 299e9b9fdd212c3c3cac19df079c8c5ba51a3b43