diff options
| -rw-r--r-- | mplayerplug-in-c.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/mplayerplug-in-c.patch b/mplayerplug-in-c.patch deleted file mode 100644 index 484e363..0000000 --- a/mplayerplug-in-c.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- m/Source/plugin-ui.cpp.org 2006-12-19 18:08:04.015012500 +0100 -+++ m/Source/plugin-ui.cpp 2006-12-19 18:08:58.590423250 +0100 -@@ -288,7 +288,7 @@ - int PercentRedraw; - - if (0) { -- printf("Widget: %i\n", (int) w); -+ printf("Widget: %ld\n", (long) w); - printf("Message: %s\n", message); - } - |