Damien Cassou 8297a9eef9 Change where window managers should be
This patch reflects current practice.

Fixes issue #8364.
2015-06-18 10:44:27 +02:00
..
2015-06-02 11:22:19 +02:00
2015-05-31 18:41:34 +02:00
2015-05-31 18:41:34 +02:00
2015-05-31 18:41:34 +02:00
2015-06-02 11:22:19 +02:00
2012-05-11 21:42:00 +00:00