Florian Müllner 8003f8b803 build: Don't introspect ShellMenu
It is now only used internally by ShellApp to track remote actions,
so there's no need to expose it to javascript code.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/624
2019-02-06 18:29:15 +01:00
..
2019-02-05 16:25:54 +01:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2019-02-06 18:29:15 +01:00
2019-02-06 18:29:15 +01:00
2019-02-06 18:29:15 +01:00
2019-01-09 23:09:18 +00:00
2015-10-15 22:59:49 +02:00
2018-01-12 11:48:49 +01:00
2018-01-12 11:48:49 +01:00
2019-01-30 22:50:01 +01:00
2017-08-02 11:27:42 +01:00
2015-10-15 22:58:28 +02:00