diff options
Diffstat (limited to 'devel/noweb/files/patch-c_markmain.c')
-rw-r--r-- | devel/noweb/files/patch-c_markmain.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/noweb/files/patch-c_markmain.c b/devel/noweb/files/patch-c_markmain.c deleted file mode 100644 index b0f949808ea4..000000000000 --- a/devel/noweb/files/patch-c_markmain.c +++ /dev/null @@ -1,11 +0,0 @@ ---- c/markmain.c.orig 2006-06-12 21:16:23 UTC -+++ c/markmain.c -@@ -62,7 +62,7 @@ void markup (FILE* in, FILE *out, char * - #line 121 "markmain.nw" - print_pair(out, "file", filename); - print_state(out, Begin, state, count); --while ((line = getline_expand(in)) != NULL) { -+while ((line = get_line_expand(in)) != NULL) { - lineno++; - - #line 172 "markmain.nw" |