p3732 161aa2a818 Retire app menu ... Removing the app menu, see https://gitlab.gnome.org/GNOME/Initiatives/issues/4		2019-02-24 16:19:07 +11:00
..
help-overlay.ui	Move context to the end of the tag in the shortcuts window	2016-10-04 21:43:32 +02:00