diff options
Diffstat (limited to 'desktop/wmpinboard/wmpinboard.patch')
| -rw-r--r-- | desktop/wmpinboard/wmpinboard.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/desktop/wmpinboard/wmpinboard.patch b/desktop/wmpinboard/wmpinboard.patch deleted file mode 100644 index ae260b3609..0000000000 --- a/desktop/wmpinboard/wmpinboard.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- src/wmpinboard.c 2000-12-08 17:42:23.000000000 -0200 -+++ src/wmpinboard.c.new 2014-06-24 00:21:56.000000000 -0300 -@@ -165,7 +165,7 @@ - char t[STRING_BUF_SIZE]; - FILE *file; - int pid = (int) getpid(); -- static int sizes[6]; -+ static int sizes[7]; - sizes[0] = size_0; - sizes[1] = size_1; - sizes[2] = size_2; |