diff options
Diffstat (limited to 'print/dviselect/files/patch-aa')
-rw-r--r-- | print/dviselect/files/patch-aa | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/print/dviselect/files/patch-aa b/print/dviselect/files/patch-aa deleted file mode 100644 index 36d026b772c4..000000000000 --- a/print/dviselect/files/patch-aa +++ /dev/null @@ -1,19 +0,0 @@ -*** dviselect.c~ Tue Nov 27 08:53:14 1990 ---- dviselect.c Thu Oct 6 22:01:13 1994 -*************** -*** 122,128 **** - /* save some string space: we use this a lot */ - char writeerr[] = "error writing DVI file"; - -! char *malloc(), *realloc(), *sprintf(); - - /* - * lint gets rather confused with the current definitions of getc and putc, ---- 122,128 ---- - /* save some string space: we use this a lot */ - char writeerr[] = "error writing DVI file"; - -! char *malloc(), *realloc(); - - /* - * lint gets rather confused with the current definitions of getc and putc, |