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)
commitf39e676054c190c797aba29d1fe83ace7e198400
tree3694d345e9af231f96c1ca89d54e5148b28fae38
parentfe971889e3fdbf1981d471109b9a788eafff7d6d
parent3c7113e5383175133f435e3f70577a871787017e
Merge branch 'master' of git.ganneff.de:misc

* 'master' of git.ganneff.de:misc:
  some tools want to run with a different gtk theme