]> git.sur5r.net Git - i3/i3/commitdiff
projects / i3 / i3 / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4b95e2c 8fba543)
Merge pull request #3256 from orestisf1993/REQUIRED_OPTION
authorIngo Bürk <admin@airblader.de>
Sat, 21 Apr 2018 15:56:06 +0000 (17:56 +0200)
committerGitHub <noreply@github.com>
Sat, 21 Apr 2018 15:56:06 +0000 (17:56 +0200)
Remove obsolete macro REQUIRED_OPTION


Trivial merge
A better tiling and dynamic window manager