diff options
Diffstat (limited to 'Build/source/texk/detex/TLpatches/patch-01-support-old-compiler')
| -rw-r--r-- | Build/source/texk/detex/TLpatches/patch-01-support-old-compiler | 12 |
1 files changed, 0 insertions, 12 deletions
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; - } |