add trick to change the windows manager
authorJean-Philippe Orsini <jeanfi@gmail.com>
Thu, 9 Feb 2017 23:49:38 +0000 (00:49 +0100)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Thu, 9 Feb 2017 23:49:38 +0000 (00:49 +0100)

No differences found