Davide De Rosa e7d2dde972 Add/remove profile to/from filesystem immediately ... Save unnecessary serialization of unaffected profiles.		2018-11-04 15:06:53 +01:00
..
Resources	Reword policy text	2018-11-04 12:14:23 +01:00
Sources	Add/remove profile to/from filesystem immediately	2018-11-04 15:06:53 +01:00