diff options
Diffstat (limited to 'audio/sphinx/files/patch-src-libsphinx2_eht_quit.c')
| -rw-r--r-- | audio/sphinx/files/patch-src-libsphinx2_eht_quit.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/audio/sphinx/files/patch-src-libsphinx2_eht_quit.c b/audio/sphinx/files/patch-src-libsphinx2_eht_quit.c deleted file mode 100644 index c3c2650101bb..000000000000 --- a/audio/sphinx/files/patch-src-libsphinx2_eht_quit.c +++ /dev/null @@ -1,10 +0,0 @@ ---- src/libsphinx2/eht_quit.c.orig 2007-12-06 18:21:53.000000000 +0100 -+++ src/libsphinx2/eht_quit.c 2007-12-06 18:22:13.000000000 +0100 -@@ -85,6 +85,7 @@ - */ - - #include <stdio.h> -+#include <stdlib.h> - #include <stdarg.h> - - void |