chiark / gitweb /
selinux: move selinux_exit() to the main programs