diff options
Diffstat (limited to 'scripts/copyright.pl')
| -rwxr-xr-x | scripts/copyright.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/copyright.pl b/scripts/copyright.pl index 7c3296fa3..5649cad4f 100755 --- a/scripts/copyright.pl +++ b/scripts/copyright.pl @@ -48,6 +48,7 @@ my @skiplist=( '\/readme', '^.github/', # github instruction files '^.dcignore', # deepcode.ai instruction file + '^.muse/', # muse-CI control files # docs/ files we're okay with without copyright 'INSTALL.cmake', |