Searched defs:generated_header (Results 1 – 6 of 6) sorted by relevance
213 def write_header(dest_file, cmd, generated_header): argument
28 generated_header = """ variable