diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 b/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 index c13a7279cc4..67e7a2fa660 100644 --- a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 +++ b/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 @@ -19,5 +19,5 @@ @x tex.web l. 24956 @* \[54] System-dependent changes. @y -@* \[55/p\TeX] System-dependent changes for p\TeX. +@* \[55/\pTeX] System-dependent changes for \pTeX. @z |