diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2022-02-02 14:29:26 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2022-02-02 14:29:26 -0300 |
| commit | 0c6871f19f4b67edf06d9b0d37fc3980069b3713 (patch) | |
| tree | 270b22fb460ff264dc680bd1e0ba0dd6b487b09d | |
| parent | 49c61b45d68e3bd04a8e6b692138aa0233c040fd (diff) | |
| download | puppet-nodo-0c6871f19f4b67edf06d9b0d37fc3980069b3713.tar.gz puppet-nodo-0c6871f19f4b67edf06d9b0d37fc3980069b3713.tar.bz2 | |
Fix: do not manage xul-ext-https-everywhere
| -rw-r--r-- | manifests/utils/web/gui.pp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifests/utils/web/gui.pp b/manifests/utils/web/gui.pp index c1f01eb..8df16da 100644 --- a/manifests/utils/web/gui.pp +++ b/manifests/utils/web/gui.pp @@ -6,7 +6,7 @@ class nodo::utils::web::gui ( 'firefox-esr', 'chromium', 'chromium-l10n', - 'xul-ext-https-everywhere', + #'xul-ext-https-everywhere', #'xul-ext-refcontrol', #'xul-ext-firebug', #'xul-ext-noscript', |