diff options
Diffstat (limited to 'info/knuth-hint/pdftex/pdftex.hnt')
| -rw-r--r-- | info/knuth-hint/pdftex/pdftex.hnt | bin | 2182740 -> 2183435 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/info/knuth-hint/pdftex/pdftex.hnt b/info/knuth-hint/pdftex/pdftex.hnt Binary files differindex 666c4d4a28..662676c11f 100644 --- a/info/knuth-hint/pdftex/pdftex.hnt +++ b/info/knuth-hint/pdftex/pdftex.hnt |