diff options
author | Dominick Grift <dominick.grift@defensec.nl> | 2023-08-24 20:25:27 +0200 |
---|---|---|
committer | Dominick Grift <dominick.grift@defensec.nl> | 2023-08-24 20:25:27 +0200 |
commit | cfe376eda3c6cb25af5df856ed4ff74232d6b800 (patch) | |
tree | 6b815daa55601f2d78c889cc7eb9d92847e62b9f /src/misc.cil | |
parent | fad9e5a7f8d011ec3da88c1b787e72fe55c91d7d (diff) | |
download | selinux-policy-cfe376eda3c6cb25af5df856ed4ff74232d6b800.tar.gz |
misc.cil: removes the rpm typealias
Signed-off-by: Dominick Grift <dominick.grift@defensec.nl>
Diffstat (limited to 'src/misc.cil')
-rw-r--r-- | src/misc.cil | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/misc.cil b/src/misc.cil index 3be8055..fb68d8e 100644 --- a/src/misc.cil +++ b/src/misc.cil @@ -699,7 +699,4 @@ (typealias dpkg_script_t) (typealiasactual dpkg_script_t sys.subj) -(typealias rpm_script_t) -(typealiasactual rpm_script_t sys.subj) - (boolean xserver_object_manager false) |