diff options
Diffstat (limited to 'lang/mixal/files/patch-mix.h')
| -rw-r--r-- | lang/mixal/files/patch-mix.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lang/mixal/files/patch-mix.h b/lang/mixal/files/patch-mix.h deleted file mode 100644 index 4b4d4120c783..000000000000 --- a/lang/mixal/files/patch-mix.h +++ /dev/null @@ -1,10 +0,0 @@ ---- mix.h.orig Mon Jun 3 17:55:50 2002 -+++ mix.h Mon Jun 3 17:56:02 2002 -@@ -16,6 +16,7 @@ - void warn(const char *message, ...); - void error(const char *message, ...); - void fatal_error(const char *message, ...); -+void initialize_io(void); - - #define memory_size 4000 - |