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. |