]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3175 from orestisf1993/dump-asy
authorIngo Bürk <admin@airblader.de>
Wed, 14 Mar 2018 13:23:39 +0000 (14:23 +0100)
committerGitHub <noreply@github.com>
Wed, 14 Mar 2018 13:23:39 +0000 (14:23 +0100)
dump-asy.pl: Add options


Trivial merge