diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:39:48 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 21:02:13 -0400 |
| commit | d26b319fd6f98517cc3421f10bf18698b953e4d2 (patch) | |
| tree | bc70c4e472a2eaf514d411dba5067d530e5bbea9 /data/extensions/https-everywhere@eff.org/pages/devtools/index.html | |
| parent | c3b304c51a3386ea09527a479a883253ea35243a (diff) | |
Updated extensions list for v60
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 | 10 |
1 files changed, 10 insertions, 0 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 new file mode 100644 index 0000000..02711dc --- /dev/null +++ b/data/extensions/https-everywhere@eff.org/pages/devtools/index.html @@ -0,0 +1,10 @@ +<!doctype html> +<html> + <head> + <meta charset="utf-8"> + <title></title> + <script src="../send-message.js"></script> + <script src="ux.js"></script> + </head> + <body></body> +</html> |