File gnome-menus-preferences.patch of Package gnome-menus (Revision 01452871c6062a2b1759bd0fadf4edaf)
Currently displaying revision 01452871c6062a2b1759bd0fadf4edaf , Show latest
Currently displaying revision 01452871c6062a2b1759bd0fadf4edaf , Show latest