]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3207 from orestisf1993/get_workspace_by_
authorIngo Bürk <admin@airblader.de>
Thu, 29 Mar 2018 10:06:05 +0000 (12:06 +0200)
committerGitHub <noreply@github.com>
Thu, 29 Mar 2018 10:06:05 +0000 (12:06 +0200)
Introduce get_workspace_by_* functions


Trivial merge