1 files changed, 0 insertions, 10 deletions
diff --git a/x11-themes/gnome-themes-extras/files/patch-Industrial_industrial_style.c b/x11-themes/gnome-themes-extras/files/patch-Industrial_industrial_style.c
deleted file mode 100644
index a95963569336..000000000000
--- a/x11-themes/gnome-themes-extras/files/patch-Industrial_industrial_style.c
+++ /dev/null
@@ -1,10 +0,0 @@
---- Industrial/industrial_style.c.orig	Tue Mar 16 16:55:11 2004
-+++ Industrial/industrial_style.c	Tue Mar 16 16:58:23 2004
-@@ -1801,6 +1801,7 @@
- 	     gint             width,
- 	     gint             height)
- {
-+	g_return_if_fail (widget != NULL);
- #if DEBUG
-   printf ("draw_shadow: %p %p %s %i %i %i %i\n", widget, window, detail, x, y,
- 	  width, height);