diff options
Diffstat (limited to 'x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.defs')
| -rw-r--r-- | x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.defs | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.defs b/x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.defs deleted file mode 100644 index e77d5b4d6b46..000000000000 --- a/x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.defs +++ /dev/null @@ -1,19 +0,0 @@ ---- ext/gtkhtml/gtkhtml.defs.orig Mon Mar 4 09:36:38 2002 -+++ ext/gtkhtml/gtkhtml.defs Sat Dec 7 22:25:24 2002 -@@ -348,6 +348,7 @@ - (parameter (type-and-name GdkAtom selection)) - (parameter (type-and-name gint type)) - (parameter (type-and-name gint32 time)) -+ (parameter (type-and-name gboolean as_cite)) - ) - - ;; Loading -@@ -571,7 +572,7 @@ - (return-type none) - ) - (method paste -- (of-object HTML (Gtk)) -+ (of-object HTML (Gtk, 0)) - (c-name gtk_html_paste) - (return-type none) - ) |