diff options
| author | Daniel Ingram <ingramds@appstate.edu> | 2018-12-10 15:11:37 -0500 |
|---|---|---|
| committer | Daniel Ingram <ingramds@appstate.edu> | 2018-12-10 15:11:37 -0500 |
| commit | 17b55202dae8d6e21d2490de89b345c55f7694c0 (patch) | |
| tree | 1ad96c27d8804178e08c3b2a17afb24295a7b951 /contrib/devtools/copyright_header.py | |
| parent | 1b89074ae27ce123adbeed57343deaef13c14f81 (diff) | |
Compare to None with is/is not
Diffstat (limited to 'contrib/devtools/copyright_header.py')
| -rwxr-xr-x | contrib/devtools/copyright_header.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/copyright_header.py b/contrib/devtools/copyright_header.py index 2d539ffe43..6d7a592f01 100755 --- a/contrib/devtools/copyright_header.py +++ b/contrib/devtools/copyright_header.py @@ -491,7 +491,7 @@ def get_git_change_year_range(filename): def file_already_has_core_copyright(file_lines): index, _ = get_updatable_copyright_line(file_lines) - return index != None + return index is not None ################################################################################ # insert header execution |