diff options
Diffstat (limited to 'Build/source/texk/web2c/etexdir/tex.ch0')
| -rw-r--r-- | Build/source/texk/web2c/etexdir/tex.ch0 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/etexdir/tex.ch0 b/Build/source/texk/web2c/etexdir/tex.ch0 index a395aa8d274..466dda7a162 100644 --- a/Build/source/texk/web2c/etexdir/tex.ch0 +++ b/Build/source/texk/web2c/etexdir/tex.ch0 @@ -4,11 +4,11 @@ % Public domain. @x [1.2] l.188 -@d TeX_banner=='This is TeX, Version 3.141592' {printed when \TeX\ starts} +@d TeX_banner=='This is TeX, Version 3.1415926' {printed when \TeX\ starts} @# @d banner==eTeX_banner @y -@d banner=='This is TeX, Version 3.141592' {printed when \TeX\ starts} +@d banner=='This is TeX, Version 3.1415926' {printed when \TeX\ starts} @z @x [17.236] l.4960 - first web2c, then e-TeX additional integer parameters |