diff options
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, 0 insertions, 10 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 deleted file mode 100644 index 940de8b..0000000 --- a/data/extensions/https-everywhere@eff.org/pages/devtools/index.html +++ /dev/null @@ -1,10 +0,0 @@ -<!doctype html> -<html> - <head> - <meta charset="utf-8"> - <title></title> - <script src="../util.js"></script> - <script src="ux.js"></script> - </head> - <body></body> -</html> |