diff options
Diffstat (limited to 'print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y')
-rw-r--r-- | print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y b/print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y deleted file mode 100644 index ff5b99ad6c66..000000000000 --- a/print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y +++ /dev/null @@ -1,11 +0,0 @@ ---- texk/web2c/web2c/web2c.y.orig Tue Dec 9 02:41:52 1997 -+++ texk/web2c/web2c/web2c.y Wed Nov 6 15:29:26 2002 -@@ -134,7 +134,8 @@ - - /* program statement. Ignore any files. */ - PROGRAM_HEAD: - program_tok undef_id_tok PROGRAM_FILE_PART ';' -+ ; - - PROGRAM_FILE_PART: - '(' PROGRAM_FILE_LIST ')' |