diff options
Diffstat (limited to 'Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-05-never-interactive')
-rw-r--r-- | Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-05-never-interactive | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-05-never-interactive b/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-05-never-interactive deleted file mode 100644 index ab5773dcfeb..00000000000 --- a/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-05-never-interactive +++ /dev/null @@ -1,12 +0,0 @@ -diff -ur lacheck-1.26.orig/lacheck.l lacheck-1.26/lacheck.l ---- lacheck-1.26.orig/lacheck.l 2010-12-09 23:25:22.000000000 +0100 -+++ lacheck-1.26/lacheck.l 2012-06-19 15:11:14.000000000 +0200 -@@ -113,6 +113,8 @@ - * Initial distribution version. - */ - -+%option never-interactive -+ - %{ - - #include <stdio.h> |