diff options
author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2019-12-07 18:06:23 +0200 |
---|---|---|
committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-01-03 17:48:37 +0200 |
commit | 1998152f15fd2b0e83f5068c375a34feaf73db8c (patch) | |
tree | f8c87db2445696a5b86b092186984947b056164d /contrib/devtools | |
parent | 071f2fc204f542c5a287ca8835115a2ee0bf2f50 (diff) |
script: Add empty line after C++ copyright
Diffstat (limited to 'contrib/devtools')
-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) |