diff options
Diffstat (limited to 'extra/mono-tools/gunit.patch')
| -rw-r--r-- | extra/mono-tools/gunit.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/extra/mono-tools/gunit.patch b/extra/mono-tools/gunit.patch deleted file mode 100644 index 881bf248b..000000000 --- a/extra/mono-tools/gunit.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- gnunit/src/main.cs 2006-10-04 09:13:30.000000000 +0200 -+++ gnunit/src/main.cs.patched 2006-11-23 09:10:21.000000000 +0100 -@@ -563,7 +563,7 @@ - } - - // Window event handlers -- void OnWindowDelete (object sender, EventArgs args) -+ void OnWindowDelete (object sender, Gtk.DeleteEventArgs args) - { - OnQuitActivate (sender, args); - } |