diff options
| -rwxr-xr-x | scripts/add_version_headers | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/add_version_headers b/scripts/add_version_headers index 4c182763..bdf9e32e 100755 --- a/scripts/add_version_headers +++ b/scripts/add_version_headers @@ -18,6 +18,7 @@ header = """/* ---------------------------------------------------------------\ * See file LICENSE for more details * ---------------------------------------------------------------------------- */ + """ |