diff options
Diffstat (limited to 'Build/source/texk/web2c/eptexdir/pdfsavepos.ch')
-rw-r--r-- | Build/source/texk/web2c/eptexdir/pdfsavepos.ch | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/eptexdir/pdfsavepos.ch b/Build/source/texk/web2c/eptexdir/pdfsavepos.ch index 2f364617abf..3c5b58f822b 100644 --- a/Build/source/texk/web2c/eptexdir/pdfsavepos.ch +++ b/Build/source/texk/web2c/eptexdir/pdfsavepos.ch @@ -53,11 +53,9 @@ pdf_page_height_code: print_esc("pdfpageheight"); @x @!old_setting:0..max_selector; {saved |selector| setting} -begin if tracing_output>0 then @y @!old_setting:0..max_selector; {saved |selector| setting} @!t: scaled; -begin if tracing_output>0 then @z @x |