DestroyMenu gnome-redhat
*FvwmGtk-Menus: Destroy gnome-redhat
