summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-p-mem.ch0')
-rw-r--r--Build/source/texk/web2c/synctexdir/synctex-p-mem.ch025
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