diff options
Diffstat (limited to 'org/source_files_read.org')
| -rw-r--r-- | org/source_files_read.org | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/org/source_files_read.org b/org/source_files_read.org index 495b856..a7e5b1c 100644 --- a/org/source_files_read.org +++ b/org/source_files_read.org @@ -544,18 +544,6 @@ if (type1["curly_code"] == 1) { type1["header_make"] = 0; type1["header_meta"] = 0; contents_insert ~= line; -} else if ( - (type1["header_make"] == 1) - && line.matchFirst(rgx.native_header_sub) -) { - type1["header_make"] = 1; - type1["header_meta"] = 0; -} else if ( - (type1["header_meta"] == 1) - && line.matchFirst(rgx.native_header_sub) -) { - type1["header_meta"] = 1; - type1["header_make"] = 0; } else if (auto m = line.match(rgx.insert_src_fn_ssi_or_sst)) { type1["header_make"] = 0; type1["header_meta"] = 0; |