diff options
author | Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-02-18 16:43:44 +0100 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2017-02-18 23:07:10 +0100 |
commit | 91fb56fee7bd7fe062e6d6bdd4519c074bca8a51 (patch) | |
tree | 5e07f0b26149cbdc37035aaf2bec53d13cdac593 /x11-plugins | |
parent | x11-plugins/wmgtemp: remove unused patch (diff) | |
download | gentoo-91fb56fee7bd7fe062e6d6bdd4519c074bca8a51.tar.gz gentoo-91fb56fee7bd7fe062e6d6bdd4519c074bca8a51.tar.bz2 gentoo-91fb56fee7bd7fe062e6d6bdd4519c074bca8a51.zip |
x11-plugins/wmix: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/4014
Diffstat (limited to 'x11-plugins')
-rw-r--r-- | x11-plugins/wmix/files/wmix-fix-free.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/x11-plugins/wmix/files/wmix-fix-free.patch b/x11-plugins/wmix/files/wmix-fix-free.patch deleted file mode 100644 index 340f91771fa7..000000000000 --- a/x11-plugins/wmix/files/wmix-fix-free.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- wmix.c.orig 2004-05-12 21:30:53.000000000 -0300 -+++ wmix.c 2009-07-08 00:20:28.000000000 -0300 -@@ -134,7 +134,7 @@ - } - - /* handle writing PID file, silently ignore if we can't do it */ -- pid = calloc(1, strlen(home) + 10); -+ pid = calloc(1, strlen(home) + 11); - sprintf(pid, "%s/.wmix.pid", home); - fp = fopen(pid, "w"); - if (fp) { |