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 | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0 b/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0 deleted file mode 100644 index ad7cfa5825c..00000000000 --- a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0 +++ /dev/null @@ -1,25 +0,0 @@ -@x tex.web l.2897 -@d box_node_size=8 {number of words to allocate for a box node} -@y -@d box_node_size=7 {number of words to allocate for a box node} -@z - -@x tex.web l.3937 - disp_node, -@y - disp_node: do_nothing; -@z - -@x tex.web l.4021: -disp_node, -@y -disp_node: begin r:=get_node(small_node_size); - words:=small_node_size; - end; -@z - -@x tex.web l. 24956 -@* \[55/\pTeX] System-dependent changes for \pTeX. -@y -@* \[54] System-dependent changes. -@z |