Florian Müllner 4bf53cd507 windowManager: Kill a comment
The code described by the comment was moved away in commit eda27d51,
so it is not misleading at best. It wasn't too useful to begin with,
so kill it off rather than moving it to the correct place ...
2015-01-21 15:44:05 +01:00
..
2014-10-14 18:53:39 -07:00
2014-11-13 12:26:33 +00:00
2014-12-19 11:39:50 +01:00
2014-10-16 17:16:06 -04:00
2014-12-19 11:39:50 +01:00
2014-12-19 11:39:50 +01:00
2015-01-07 15:26:21 -08:00
2015-01-16 18:24:36 +01:00
2015-01-21 15:44:05 +01:00
2014-10-09 12:17:15 +02:00