From 3386a6f438c7549e2ff5ca88498f27af40cf72e1 Mon Sep 17 00:00:00 2001 From: Ruben Rodriguez Date: Mon, 21 Nov 2016 15:05:02 -0500 Subject: Removed unnecesary upstreamed patches --- data/patches/enable-js-options.patch | 268 ----------------------------------- 1 file changed, 268 deletions(-) delete mode 100644 data/patches/enable-js-options.patch (limited to 'data/patches/enable-js-options.patch') diff --git a/data/patches/enable-js-options.patch b/data/patches/enable-js-options.patch deleted file mode 100644 index aa2869e..0000000 --- a/data/patches/enable-js-options.patch +++ /dev/null @@ -1,268 +0,0 @@ -# revert https://bug851702.bugzilla.mozilla.org/attachment.cgi?id=733785 - -# HG changeset patch -# User Gijs Kruitbosch -# Date 1365155574 -7200 -# Node ID 444b9baa31d6065d37edbd61a2dcb892c989e0e2 -# Parent 99121d529b47ec285d61f64988335e60ac120cf7 -Bug 851702 - Remove JS load and advanced preferences from the UI - ---- b/browser/components/preferences/content.xul -+++ a/browser/components/preferences/content.xul -@@ -25,8 +25,13 @@ - - - -- -+ - -+ -+ -+ - - - - - -+ -+ -+ -+ -+ -+