diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-09-04 14:59:19 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-04 16:59:19 -0500 |
commit | 747a9a248da073911e1c0da34c38f0648421a087 (patch) | |
tree | 98449a71c66d0ad427b8c8dc6f0ed1b9fbccdfbe /contrib | |
parent | 29bf7d6a937ab50c4dd92a30d7beb36a4001ead6 (diff) |
Remove CVC3 compatibility layer (#2418)
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/update-copyright.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 5c2f92372..26db51e25 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -35,7 +35,6 @@ my $excluded_directories = '^(CVS|generated)$'; my $excluded_paths = '^('; -$excluded_paths .= 'src/bindings/compat/.*'; # different license $excluded_paths .= '|src/util/channel.h'; # minisat license |