]> git.sur5r.net Git - i3/i3/commitdiff
projects / i3 / i3 / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a419124 f46bb03)
Merge pull request #3199 from orestisf1993/workspace_show
authorIngo Bürk <admin@airblader.de>
Sat, 24 Mar 2018 17:39:37 +0000 (18:39 +0100)
committerGitHub <noreply@github.com>
Sat, 24 Mar 2018 17:39:37 +0000 (18:39 +0100)
workspace_show: remove redundant if


Trivial merge
A better tiling and dynamic window manager