Searched refs:TRIMMED_FILE_HEADER (Results 1 – 1 of 1) sorted by relevance
37 TRIMMED_FILE_HEADER = '!!! This file is trimmed !!!\n' variable72 header = old_file.read(len(TRIMMED_FILE_HEADER))73 if header != TRIMMED_FILE_HEADER:74 new_file.write(TRIMMED_FILE_HEADER)