diff options
Diffstat (limited to 'etc/firefox-common-addons.inc')
-rw-r--r-- | etc/firefox-common-addons.inc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/firefox-common-addons.inc b/etc/firefox-common-addons.inc index 7a0c3e99f..7d9e512b2 100644 --- a/etc/firefox-common-addons.inc +++ b/etc/firefox-common-addons.inc | |||
@@ -56,8 +56,7 @@ whitelist ${HOME}/dwhelper | |||
56 | noblacklist ${HOME}/.local/share/gnome-shell | 56 | noblacklist ${HOME}/.local/share/gnome-shell |
57 | whitelist ${HOME}/.local/share/gnome-shell | 57 | whitelist ${HOME}/.local/share/gnome-shell |
58 | ignore nodbus | 58 | ignore nodbus |
59 | noblacklist ${PATH}/python3* | 59 | include allow-python3.inc |
60 | noblacklist /usr/lib/python3* | ||
61 | 60 | ||
62 | # Flash plugin | 61 | # Flash plugin |
63 | # private-etc must first be enabled in firefox-common.profile and in profiles including it. | 62 | # private-etc must first be enabled in firefox-common.profile and in profiles including it. |