diff options
Diffstat (limited to 'contrib/update-copyright.pl')
-rw-r--r--[-rwxr-xr-x] | contrib/update-copyright.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index f6c066a0a..dce453346 100755..100644 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -28,7 +28,7 @@ # the license.) my $excluded_directories = '^(minisat|CVS|generated)$'; -my $excluded_paths = '^(src/parser/bounded_token_buffer\.(h|cpp))$'; +my $excluded_paths = '^(src/parser/bounded_token_buffer\.(h|cpp))|(src/parser/antlr_input_imports.cpp)$'; # Years of copyright for the template. E.g., the string # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever. |