]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #2995 from orestisf1993/dump-asy-basename
authorIngo Bürk <admin@airblader.de>
Wed, 27 Sep 2017 19:46:00 +0000 (21:46 +0200)
committerGitHub <noreply@github.com>
Wed, 27 Sep 2017 19:46:00 +0000 (21:46 +0200)
dump-asy.pl: use correct tmp dirname instead of hardcoded /tmp


Trivial merge