From 83ddb3e5b276613ad2be190cebf74401daebef03 Mon Sep 17 00:00:00 2001 From: Fred-Barclay Date: Sun, 17 Feb 2019 12:09:02 -0600 Subject: Add alternatives to private-etc for profiles in etc/ See discussion in #2399 --- etc/enchant.profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/enchant.profile') diff --git a/etc/enchant.profile b/etc/enchant.profile index e29e542ab..1d3d33d68 100644 --- a/etc/enchant.profile +++ b/etc/enchant.profile @@ -35,7 +35,7 @@ tracelog # private-bin enchant, enchant-* private-cache private-dev -private-etc none +private-etc alternatives private-tmp # memory-deny-write-execute -- cgit v1.2.3-70-g09d2