diff options
Diffstat (limited to 'system/at/10-parsetime.l-1.patch')
| -rw-r--r-- | system/at/10-parsetime.l-1.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/system/at/10-parsetime.l-1.patch b/system/at/10-parsetime.l-1.patch deleted file mode 100644 index 52fea53f4..000000000 --- a/system/at/10-parsetime.l-1.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- ./parsetime.orig.l -+++ ./parsetime.l -@@ -32,6 +32,8 @@ - } while(0) - %} - -+%option noyywrap -+ - %% - - now { COPY_TOK ; return NOW; } |