From 56b7919589312c89eee78531f456303ba2498b86 Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Thu, 3 Jan 2019 20:52:26 -0500 Subject: [PATCH] sigrok: Remove extra comments. --- policy/modules/apps/sigrok.if | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/policy/modules/apps/sigrok.if b/policy/modules/apps/sigrok.if index bf7a792af..0b4823b70 100644 --- a/policy/modules/apps/sigrok.if +++ b/policy/modules/apps/sigrok.if @@ -21,17 +21,6 @@ interface(`sigrok_run',` attribute_role sigrok_roles; ') - ######################################## - # - # Declarations - # - roleattribute $1 sigrok_roles; - - ######################################## - # - # Policy - # - domtrans_pattern($2, sigrok_exec_t, sigrok_t) ')