diff options
Diffstat (limited to 'Build/source/texk/web2c/uptexdir/uptftopl.ch')
-rw-r--r-- | Build/source/texk/web2c/uptexdir/uptftopl.ch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/uptexdir/uptftopl.ch b/Build/source/texk/web2c/uptexdir/uptftopl.ch index 904d2871452..aa11ef06530 100644 --- a/Build/source/texk/web2c/uptexdir/uptftopl.ch +++ b/Build/source/texk/web2c/uptexdir/uptftopl.ch @@ -1,9 +1,9 @@ @x @d my_name=='ptftopl' -@d banner=='This is pTFtoPL, Version 3.2-p1.7' +@d banner=='This is pTFtoPL, Version 3.3-p1.7' @y @d my_name=='uptftopl' -@d banner=='This is upTFtoPL, Version 3.2-p1.7-u1.11' +@d banner=='This is upTFtoPL, Version 3.3-p1.7-u1.11' @z @x |