diff options
Diffstat (limited to 'etc/gnome-builder.profile')
-rw-r--r-- | etc/gnome-builder.profile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/gnome-builder.profile b/etc/gnome-builder.profile index ab2ca183b..726a74089 100644 --- a/etc/gnome-builder.profile +++ b/etc/gnome-builder.profile | |||
@@ -6,6 +6,10 @@ include gnome-builder.local | |||
6 | # Persistent global definitions | 6 | # Persistent global definitions |
7 | include globals.local | 7 | include globals.local |
8 | 8 | ||
9 | noblacklist ${HOME}/.cache/gnome-builder | ||
10 | noblacklist ${HOME}/.config/gnome-builder | ||
11 | noblacklist ${HOME}/.local/share/gnome-builder | ||
12 | |||
9 | # Allows files commonly used by IDEs | 13 | # Allows files commonly used by IDEs |
10 | include allow-common-devel.inc | 14 | include allow-common-devel.inc |
11 | 15 | ||