04bded0 Drop avoid-redhat-menus patch

Authored and Committed by Florian Müllner 11 years ago
    Drop avoid-redhat-menus patch
    
        
file modified
+7 -3