From 576b6208d6defe240bfa2477d6dd19f1ed83bfaf Mon Sep 17 00:00:00 2001 From: "Suren A. Chilingaryan" Date: Mon, 2 Sep 2019 05:23:45 +0200 Subject: Cleaned most of outdated stuff --- gnome-base/gnome-libs/files/gnome-libs-1.4.2-gcc4.patch | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 gnome-base/gnome-libs/files/gnome-libs-1.4.2-gcc4.patch (limited to 'gnome-base/gnome-libs/files/gnome-libs-1.4.2-gcc4.patch') diff --git a/gnome-base/gnome-libs/files/gnome-libs-1.4.2-gcc4.patch b/gnome-base/gnome-libs/files/gnome-libs-1.4.2-gcc4.patch deleted file mode 100644 index e9d3625..0000000 --- a/gnome-base/gnome-libs/files/gnome-libs-1.4.2-gcc4.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff -urN ../tmp-orig/gnome-libs-1.4.2/gtk-xmhtml/XmHTMLI.h ./gtk-xmhtml/XmHTMLI.h ---- src/gtk-xmhtml/XmHTMLI.h 1999-07-29 03:26:28.000000000 +0200 -+++ new/gtk-xmhtml/XmHTMLI.h 2004-12-22 18:02:43.408331024 +0100 -@@ -1058,9 +1058,6 @@ - #include "gtk-xmhtml-p.h" - - void gtk_xmhtml_set_outline (GtkXmHTML *html, int flag); --void my_x_query_colors(GdkColormap *colormap, -- GdkColor *colors, -- gint ncolors); - void - gtk_xmhtml_set_colors (GtkXmHTML *html, - Pixel foreground, -- cgit v1.2.3