diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-80-maybe-bug-fix')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-80-maybe-bug-fix | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-80-maybe-bug-fix b/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-80-maybe-bug-fix deleted file mode 100644 index dc76051abdf..00000000000 --- a/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-80-maybe-bug-fix +++ /dev/null @@ -1,13 +0,0 @@ -diff -ur dvi2tty-5.3.1.orig/dvistuff.c dvi2tty-5.3.1/dvistuff.c ---- dvi2tty-5.3.1.orig/dvistuff.c 2010-10-22 14:07:21.000000000 +0200 -+++ dvi2tty-5.3.1/dvistuff.c 2010-10-22 14:58:46.000000000 +0200 -@@ -1165,8 +1165,8 @@ - currentline->charactercount = j; - if (j < firstcolumn) - firstcolumn = j; -+ h += charwidth; - } -- h += charwidth; - - return; - |