From cfe376eda3c6cb25af5df856ed4ff74232d6b800 Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Thu, 24 Aug 2023 20:25:27 +0200 Subject: misc.cil: removes the rpm typealias Signed-off-by: Dominick Grift --- src/misc.cil | 3 --- 1 file changed, 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) -- cgit v1.2.3