Florian Müllner b41873dced window-x11: Remove duplicated code
meta_window_change_workspace_without_transients() already does
exactly that.
2015-07-23 12:13:45 +02:00
..
2015-07-23 12:13:45 +02:00
2014-12-28 19:51:22 -08:00
2015-07-23 12:13:45 +02:00
2015-06-17 18:08:11 -07:00
2015-07-05 22:01:59 -07:00
2015-07-05 22:01:59 -07:00
2015-07-05 22:01:59 -07:00