From f4ef22ca6b6d8ac4e3f1b2594233023c11a11ea8 Mon Sep 17 00:00:00 2001
From: Michel Alexandre Salim <salimma@fedoraproject.org>
Date: Wed, 16 Mar 2011 20:16:55 +0100
Subject: [PATCH] Remove obsoleted patch

---
 gnome-shell-gtk3.patch | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 gnome-shell-gtk3.patch

diff --git a/gnome-shell-gtk3.patch b/gnome-shell-gtk3.patch
deleted file mode 100644
index 7d4920c..0000000
--- a/gnome-shell-gtk3.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-diff -up gnome-shell-2.91.6/src/shell-doc-system.c.gtk3 gnome-shell-2.91.6/src/shell-doc-system.c
---- gnome-shell-2.91.6/src/shell-doc-system.c.gtk3	2011-02-11 14:28:01.940113427 -0500
-+++ gnome-shell-2.91.6/src/shell-doc-system.c	2011-02-11 14:27:38.853402050 -0500
-@@ -254,7 +254,7 @@ shell_doc_system_open (ShellDocSystem *s
-   else
-     {
-       char *app_name;
--#if GTK_MINOR_VERSION >= 18
-+#if GTK_MAJOR_VERSION >= 3 || GTK_MINOR_VERSION >= 18
-       const char *app_exec;
- #else
-       char *app_exec;