From 665a79ac64add957db1561018d0ed501f50fb177 Mon Sep 17 00:00:00 2001 From: rusty-snake Date: Tue, 29 Jan 2019 21:20:45 +0100 Subject: Update some IDE profiles --- etc/gedit.profile | 1 + 1 file changed, 1 insertion(+) (limited to 'etc/gedit.profile') 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 noblacklist ${HOME}/.config/enchant noblacklist ${HOME}/.config/gedit noblacklist ${HOME}/.gitconfig +noblacklist ${HOME}/.python-history include disable-common.inc # include disable-devel.inc -- cgit v1.2.3-70-g09d2