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 |