summaryrefslogtreecommitdiff
path: root/Build/source/.github
diff options
context:
space:
mode:
authorMartin Ruckert <martin.ruckert@hm.edu>2022-01-24 15:36:16 +0000
committerMartin Ruckert <martin.ruckert@hm.edu>2022-01-24 15:36:16 +0000
commit9c40aa56ab90ec52da58798c12116d389c131841 (patch)
treea69847c2887fa79d5c59fad80677de75e8c4b6cf /Build/source/.github
parent9a25c064bb0926efa5de548e92151f1aa6d5e9ae (diff)
generating shorter source lines with web2w,
eliminating strnlen, adding the HINT prefix to all extra primitives, using the HINT version in the banner, fixing hyphenating first word git-svn-id: svn://tug.org/texlive/trunk@61723 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/.github')
0 files changed, 0 insertions, 0 deletions