diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:45:25 -0500 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:45:25 -0500 |
| commit | 9fe427ff45778f53214ce110bf94fe43459491d1 (patch) | |
| tree | 6e5cb35267234e58677d55141f05e2b8bcb3a43e /data/extensions/https-everywhere@eff.org/pages/devtools/index.html | |
| parent | 21250de51aae2f76cb33d4083d7c91d378c0055d (diff) | |
Updated extensions through running updated data/update-extensions.sh
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/pages/devtools/index.html')
| -rw-r--r-- | data/extensions/https-everywhere@eff.org/pages/devtools/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/devtools/index.html b/data/extensions/https-everywhere@eff.org/pages/devtools/index.html index 02711dc..940de8b 100644 --- a/data/extensions/https-everywhere@eff.org/pages/devtools/index.html +++ b/data/extensions/https-everywhere@eff.org/pages/devtools/index.html @@ -3,7 +3,7 @@ <head> <meta charset="utf-8"> <title></title> - <script src="../send-message.js"></script> + <script src="../util.js"></script> <script src="ux.js"></script> </head> <body></body> |