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/open-invaders.profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/open-invaders.profile') diff --git a/etc/open-invaders.profile b/etc/open-invaders.profile index 108398104..bff42fb19 100644 --- a/etc/open-invaders.profile +++ b/etc/open-invaders.profile @@ -33,5 +33,5 @@ shell none # private-bin open-invaders private-dev -# private-etc none +# private-etc alternatives private-tmp -- cgit v1.2.3-70-g09d2