diff options
| -rwxr-xr-x | contrib/devtools/copyright_header.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/devtools/copyright_header.py b/contrib/devtools/copyright_header.py index 7f6e3548f9..433eef06f3 100755 --- a/contrib/devtools/copyright_header.py +++ b/contrib/devtools/copyright_header.py @@ -502,6 +502,7 @@ def insert_script_header(filename, file_lines, start_year, end_year): write_file_lines(filename, file_lines) def insert_cpp_header(filename, file_lines, start_year, end_year): + file_lines.insert(0, '\n') header_lines = get_cpp_header_lines_to_insert(start_year, end_year) for line in header_lines: file_lines.insert(0, line) |