diff options
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) |