mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-11-17 06:10:15 +00:00
cc1af0f71c
We move our menus.ui file into Gtk's namespace so that it will get picked up. Accordingly, we no longer have to do any of the work for ourselves... https://bugzilla.gnome.org/show_bug.cgi?id=722092 |
||
---|---|---|
.. | ||
menus.ui |