]> git.donarmstrong.com Git - deb_pkgs/autorandr.git/commitdiff
Merge pull request #121 from Waester/dev-pr
authorPhillip Berndt <phillip.berndt@googlemail.com>
Fri, 19 Oct 2018 13:40:42 +0000 (15:40 +0200)
committerGitHub <noreply@github.com>
Fri, 19 Oct 2018 13:40:42 +0000 (15:40 +0200)
Partially support modes with non-standard names


Trivial merge