Merge branch 'master' of git.ganneff.de:misc
authorJoerg Jaspert <joerg@debian.org>
Mon, 18 Mar 2013 20:46:45 +0000 (21:46 +0100)
committerJoerg Jaspert <joerg@debian.org>
Mon, 18 Mar 2013 20:46:45 +0000 (21:46 +0100)
* 'master' of git.ganneff.de:misc:
  some tools want to run with a different gtk theme


Trivial merge