diff options
Diffstat (limited to 'Build/source')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/web2c/dvitype.ch | 1 |
2 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index fe7fa3586e6..819df641297 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,7 @@ +2015-07-28 Peter Breitenlohner <peb@mppmu.mpg.de> + + * dvitype.ch: Removed a spurious duplicate statement. + 2015-07-10 Peter Breitenlohner <peb@mppmu.mpg.de> * mftraptest (removed): Renamed ... diff --git a/Build/source/texk/web2c/dvitype.ch b/Build/source/texk/web2c/dvitype.ch index 9e9a9bbc872..aee01c08234 100644 --- a/Build/source/texk/web2c/dvitype.ch +++ b/Build/source/texk/web2c/dvitype.ch @@ -668,7 +668,6 @@ long_options[current_option].has_arg := 0; long_options[current_option].flag := address_of (show_opcodes); long_options[current_option].val := 1; incr (current_option); -new_mag := 0; {default is to keep the old one} @ @<Glob...@> = @!show_opcodes: c_int_type; |