diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0')
| -rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0 b/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0 index e4fd4a9f504..ad7cfa5825c 100644 --- a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0 +++ b/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0 @@ -19,7 +19,7 @@ disp_node: begin r:=get_node(small_node_size); @z @x tex.web l. 24956 -@* \[55/p\TeX] System-dependent changes for p\TeX. +@* \[55/\pTeX] System-dependent changes for \pTeX. @y @* \[54] System-dependent changes. @z |