From 3d6ed4a072fab89fe957af8ca5ebd7210da0e2e4 Mon Sep 17 00:00:00 2001
From: Franz Pletz <fpletz@fnordicwalking.de>
Date: Fri, 26 May 2017 00:02:17 +0200
Subject: [PATCH] webkitgtk: remove unreferenced 2.12 and patch

---
 .../libraries/webkitgtk/adding-libintl.patch           | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 pkgs/development/libraries/webkitgtk/adding-libintl.patch

diff --git a/pkgs/development/libraries/webkitgtk/adding-libintl.patch b/pkgs/development/libraries/webkitgtk/adding-libintl.patch
deleted file mode 100644
index b6e8b073c9d..00000000000
--- a/pkgs/development/libraries/webkitgtk/adding-libintl.patch
+++ /dev/null
@@ -1,10 +0,0 @@
---- webkitgtk-2.10.4-orig/Source/WebKit2/CMakeLists.txt	2015-11-11 02:42:51.000000000 -0500
-+++ webkitgtk-2.10.4/Source/WebKit2/CMakeLists.txt	2016-01-31 18:27:49.000000000 -0500
-@@ -738,6 +738,7 @@
- set(WebKit2_LIBRARIES
-     JavaScriptCore
-     WebCore
-+    intl
- )
- 
- set(PluginProcess_LIBRARIES