74de563 Don't own /usr/share/gnome-shell/extensions directory

Authored and Committed by kalev 8 years ago
    Don't own /usr/share/gnome-shell/extensions directory
    
    The directory is now included in gnome-shell itself, starting with
    gnome-shell-3.17.4-2.fc23.
    
        
file modified
+8 -4