diff options
Diffstat (limited to 'Build/source/texk/web2c/eptexdir/eptex.ech')
-rw-r--r-- | Build/source/texk/web2c/eptexdir/eptex.ech | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/eptexdir/eptex.ech b/Build/source/texk/web2c/eptexdir/eptex.ech index 63e799bf088..e11b01f2e42 100644 --- a/Build/source/texk/web2c/eptexdir/eptex.ech +++ b/Build/source/texk/web2c/eptexdir/eptex.ech @@ -9,9 +9,9 @@ @z @x [1.2] l.200 - pTeX: -@d pTeX_version_string=='-p3.1.11' {current p\TeX\ version} +@d pTeX_version_string=='-p3.2' {current p\TeX\ version} @y -@d pTeX_version_string=='-p3.1.11-110315' {current \epTeX\ version} +@d pTeX_version_string=='-p3.2-110415' {current \epTeX\ version} @z @x e-pTeX: banner |