]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3521 from c-edw/feature/StripWorkspaceDocs
authorIngo Bürk <admin@airblader.de>
Tue, 13 Nov 2018 09:24:11 +0000 (10:24 +0100)
committerGitHub <noreply@github.com>
Tue, 13 Nov 2018 09:24:11 +0000 (10:24 +0100)
Update userguide docs for strip_workspace_*.


Trivial merge