"public/domain_deprecated.te" did not exist on "a2c40557c6bac7c523f7438d5473e8799ca28777"
-
John Kessenich authored
Fixes issue #610. Also provides a testing option to keep uncalled functions.
906cc218
Fixes issue #610. Also provides a testing option to keep uncalled functions.