From 23c04f7d9249b29c84df3707429053fc53fb190d Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@gnu.org>
Date: Thu, 4 Feb 2016 17:35:11 -0600
Subject: HTTPS-Everywhere updated to 5.1.3

---
 .../chrome/content/fetch-source.xul                | 29 ----------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 data/extensions/https-everywhere-eff@eff.org/chrome/content/fetch-source.xul

(limited to 'data/extensions/https-everywhere-eff@eff.org/chrome/content/fetch-source.xul')

diff --git a/data/extensions/https-everywhere-eff@eff.org/chrome/content/fetch-source.xul b/data/extensions/https-everywhere-eff@eff.org/chrome/content/fetch-source.xul
deleted file mode 100644
index caa0048..0000000
--- a/data/extensions/https-everywhere-eff@eff.org/chrome/content/fetch-source.xul
+++ /dev/null
@@ -1,29 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
-
-<!DOCTYPE overlay SYSTEM "chrome://https-everywhere/locale/https-everywhere.dtd">
-
-<dialog id="https-everywhere-fetch-xml"
-        xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
-        xmlns:html="http://www.w3.org/1999/xhtml"
-        title="&https-everywhere.prefs.view_xml_source;"
-        persist="screenX screenY width height"
-        style="height:80%; resize:both;"
-        buttons="accept"
-        height="600"
-        width="650">
-        
-    
-    <script type="application/x-javascript" src="fetch-source.js"/>
-    <box orient="horizontal">
-        <label id="filename-label" value="&https-everywhere.source.filename;:"/>
-        <label id="filename-text"/>
-    </box>
-    <box orient="horizontal">
-    	<label id="path-label" value="URL:"/>
-    	<label id="path-text"/>
-    </box>
-    <separator class="thin"/>
-    <textbox id="source-text" multiline="true" readonly="true" value="&https-everywhere.source.downloading;..."/>
-    <label id="failure-label" hidden="true" value="&https-everywhere.source.unable_to_download;"/>
-</dialog>
-- 
cgit v1.2.3