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 6b99ec580..54a942fdc 100644 --- a/etc/gedit.profile +++ b/etc/gedit.profile | |||
@@ -10,6 +10,7 @@ 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 | noblacklist ${HOME}/.python-history |
13 | noblacklist ${HOME}/.pythonrc.py | ||
13 | 14 | ||
14 | include disable-common.inc | 15 | include disable-common.inc |
15 | # include disable-devel.inc | 16 | # include disable-devel.inc |