diff options
| author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2020-12-03 13:02:19 +0000 |
|---|---|---|
| committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2020-12-03 13:02:19 +0000 |
| commit | 8332d48d23bca6879022cded6b994c6db3c97c39 (patch) | |
| tree | 0cbd7caf7843892e83de8b7a2790724586d8c242 /Build | |
| parent | 148aa091366682cffb0b881249f007633ed08930 (diff) | |
remove an unused file
git-svn-id: svn://tug.org/texlive/trunk@57053 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -rw-r--r-- | Build/source/texk/detex/TLpatches/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/detex/TLpatches/patch-01-support-old-compiler | 12 |
2 files changed, 4 insertions, 12 deletions
diff --git a/Build/source/texk/detex/TLpatches/ChangeLog b/Build/source/texk/detex/TLpatches/ChangeLog index 23695978a3a..4c36050c33a 100644 --- a/Build/source/texk/detex/TLpatches/ChangeLog +++ b/Build/source/texk/detex/TLpatches/ChangeLog @@ -1,3 +1,7 @@ +2020-12-03 Hironobu Yamashita <h.y.acetaminophen@gmail.com> + + Remove patch-01-support-old-compiler, which is applied in the upstream. + 2020-06-16 Akira Kakuto <kakuto@w32tex.org> Add patch-01-support-old-compiler. diff --git a/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler b/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler deleted file mode 100644 index d1cd8dce61e..00000000000 --- a/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler +++ /dev/null @@ -1,12 +0,0 @@ ---- detex.l.orig Mon Jun 15 20:23:15 2020 -+++ detex.l Tue Jun 16 06:09:30 2020 -@@ -732,7 +732,8 @@ - void - IncrLineNo() - { -- for (char* c=yytext; *c != '\0'; c++) { -+ char *c; -+ for (c=yytext; *c != '\0'; c++) { - if (*c == '\n') { - fFileLines[csb]++; fIsColumn0=1; - } |