diff options
Diffstat (limited to 'Master/texmf/tpm/bin-dvi2tty.tpm')
-rw-r--r-- | Master/texmf/tpm/bin-dvi2tty.tpm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/tpm/bin-dvi2tty.tpm b/Master/texmf/tpm/bin-dvi2tty.tpm index 37f44cbffe8..bb3cd049538 100644 --- a/Master/texmf/tpm/bin-dvi2tty.tpm +++ b/Master/texmf/tpm/bin-dvi2tty.tpm @@ -14,7 +14,7 @@ termination bug which affects some systems (most notably Linux) and cleans up the Makefile. </TPM:Description> <TPM:Author>Svante Lindahl</TPM:Author> - <TPM:Size>797023</TPM:Size> + <TPM:Size>797130</TPM:Size> <TPM:License></TPM:License> <TPM:Build> <TPM:BinPatterns> |