diff options
| author | Andreas Scherer <andreas_tex@freenet.de> | 2020-06-10 08:49:37 +0000 |
|---|---|---|
| committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-06-10 08:49:37 +0000 |
| commit | 5d08a3529191001537f6423c84e3e82ee95fb65a (patch) | |
| tree | 903bbca3d5f3e0f795b1f91721b744ac7c481c72 | |
| parent | 6866250f153a463d4bf6536a8c79e9d936dd2b91 (diff) | |
Another line break.
git-svn-id: svn://tug.org/texlive/trunk@55501 c570f23f-e606-0410-a88d-b1316a301751
| -rw-r--r-- | Build/source/texk/web2c/weave.ch | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/weave.ch b/Build/source/texk/web2c/weave.ch index aca02c7ac1d..2bdbb6c04af 100644 --- a/Build/source/texk/web2c/weave.ch +++ b/Build/source/texk/web2c/weave.ch @@ -435,8 +435,7 @@ long_options[current_option].flag := address_of (no_xref); long_options[current_option].val := 1; incr (current_option); -@ -@<Global...@> = +@ @<Global...@> = @!no_xref:c_int_type; @ An element with all zeros always ends the list. |