f5988ced5f
Since the window managers are not limited by gnome-shell, the userdomain module is modified by this patch in order to use separate optional conditionals for the gnome and wm role templates. Signed-off-by: Guido Trentalancia <guido@trentalancia.net> |
||
---|---|---|
.. | ||
flask | ||
modules | ||
support | ||
constraints | ||
context_defaults | ||
global_booleans | ||
global_tunables | ||
mcs | ||
mls | ||
policy_capabilities | ||
users |