From: Ingo Bürk <admin@airblader.de>
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;hp=-c;p=i3%2Fi3

Merge pull request #3521 from c-edw/feature/StripWorkspaceDocs

Update userguide docs for strip_workspace_*.
---

299e9b9fdd212c3c3cac19df079c8c5ba51a3b43