- orphaned, outdated

Changed files:
    dotnet-gecko-sharp-gtk-compat.patch -> 1.2

diff --git a/dotnet-gecko-sharp-gtk-compat.patch b/dotnet-gecko-sharp-gtk-compat.patch
deleted file mode 100644 (file)
index 6d15788..0000000
--- a/dotnet-gecko-sharp-gtk-compat.patch
+++ /dev/null
@@ -1,18 +0,0 @@
-diff -aur gecko-sharp-2.0-0.7-orig/gtkmozembed/WebControl.custom gecko-sharp-2.0-0.7/gtkmozembed/WebControl.custom
---- gecko-sharp-2.0-0.7-orig/gtkmozembed/WebControl.custom     2005-02-06 16:53:36.000000000 -0500
-+++ gecko-sharp-2.0-0.7/gtkmozembed/WebControl.custom  2005-05-07 09:16:59.000000000 -0400
-@@ -72,12 +72,12 @@
- 
- public WebControl(string aPath, string aDir) : base (IntPtr.Zero)
- {
--      gtk_moz_embed_set_profile_path(aPath, aDir);
-+      SetProfilePath (aPath, aDir);
-       Raw = gtk_moz_embed_new ();
- }
- 
- public WebControl() : base (IntPtr.Zero)
- {
--      gtk_moz_embed_set_profile_path("gecko-sharp", "DummyProfile");
-+      SetProfilePath ("gecko-sharp", "DummyProfile");
-       Raw = gtk_moz_embed_new();
- }