202bb4c +- Allow mozilla_plugin_t to manage mozilla_home_t

Authored and Committed by mgrepl 12 years ago
    +- Allow mozilla_plugin_t to manage mozilla_home_t
    +- Allow ssh derived domain to execute ssh-keygen in the ssh_keygen_t domain
    +- Add label for tumblerd
    
        
file modified
+54 -44
file modified
+6 -1