From 83ddb3e5b276613ad2be190cebf74401daebef03 Mon Sep 17 00:00:00 2001
From: Fred-Barclay <Fred-Barclay@users.noreply.github.com>
Date: Sun, 17 Feb 2019 12:09:02 -0600
Subject: Add alternatives to private-etc for profiles in etc/

See discussion in #2399
---
 etc/github-desktop.profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/github-desktop.profile')

diff --git a/etc/github-desktop.profile b/etc/github-desktop.profile
index 9ac212fe8..934ac7c40 100644
--- a/etc/github-desktop.profile
+++ b/etc/github-desktop.profile
@@ -39,7 +39,7 @@ disable-mnt
 private-cache
 ?HAS_APPIMAGE: ignore private-dev
 private-dev
-# private-etc none
+# private-etc alternatives
 # private-lib
 private-tmp
 
-- 
cgit v1.2.3-70-g09d2