diff options
Diffstat (limited to 'etc/gedit.profile')
-rw-r--r-- | etc/gedit.profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/gedit.profile b/etc/gedit.profile index d537f1294..af0a3da56 100644 --- a/etc/gedit.profile +++ b/etc/gedit.profile | |||
@@ -9,6 +9,7 @@ include globals.local | |||
9 | noblacklist ${HOME}/.config/enchant | 9 | noblacklist ${HOME}/.config/enchant |
10 | noblacklist ${HOME}/.config/gedit | 10 | noblacklist ${HOME}/.config/gedit |
11 | noblacklist ${HOME}/.gitconfig | 11 | noblacklist ${HOME}/.gitconfig |
12 | noblacklist ${HOME}/.python-history | ||
12 | 13 | ||
13 | include disable-common.inc | 14 | include disable-common.inc |
14 | # include disable-devel.inc | 15 | # include disable-devel.inc |