Robert Mader 57772e5850 workspace-manager: Fix a documentation warning
Pure comment should not start with two stars. Fixes a GIR creation warning
introduced in 8038eaa99fd.

https://gitlab.gnome.org/GNOME/mutter/merge_requests/683
2019-07-12 22:01:27 +02:00
..
2019-03-12 00:27:07 +00:00
2019-03-12 00:27:07 +00:00
2019-03-17 14:12:40 +00:00
2018-11-06 17:17:36 +01:00
2018-11-06 17:17:36 +01:00
2018-11-06 17:17:36 +01:00
2018-11-06 17:17:36 +01:00
2018-11-06 17:17:36 +01:00
2019-01-25 09:43:06 +01:00
2018-11-06 17:17:36 +01:00
2019-03-12 00:27:07 +00:00
2019-03-12 00:27:07 +00:00
2019-06-05 09:34:39 +00:00
2018-11-06 17:17:36 +01:00
2019-06-05 09:34:39 +00:00
2018-11-06 17:17:36 +01:00
2018-11-06 17:17:36 +01:00