From 4ceb6d89143c99d1e60bec264d59dd8a7c257327 Mon Sep 17 00:00:00 2001 From: rusty-snake Date: Thu, 22 Aug 2019 11:29:13 +0200 Subject: Introduce allow-common-devel.inc --- etc/gedit.profile | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'etc/gedit.profile') diff --git a/etc/gedit.profile b/etc/gedit.profile index 763d33eb1..837396654 100644 --- a/etc/gedit.profile +++ b/etc/gedit.profile @@ -8,12 +8,9 @@ include globals.local noblacklist ${HOME}/.config/enchant noblacklist ${HOME}/.config/gedit -noblacklist ${HOME}/.config/git -noblacklist ${HOME}/.gitconfig -noblacklist ${HOME}/.git-credentials -noblacklist ${HOME}/.python-history -noblacklist ${HOME}/.python_history -noblacklist ${HOME}/.pythonhist + +# Allows files commonly used by IDEs +include allow-common-devel.inc include disable-common.inc # include disable-devel.inc -- cgit v1.2.3-70-g09d2