mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2025-01-12 05:20:17 +00:00
ba582a4a19
Rename app-menu.ui to menus.ui in EXTRA_DIST too. |
||
---|---|---|
.. | ||
gtk-demo | ||
icon-browser | ||
widget-factory | ||
Makefile.am |