diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2020-08-14 10:20:05 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2020-08-14 10:20:05 +0200 |
| commit | de195a17189098c053d248a9ac9612ac36e2a308 (patch) | |
| tree | 80519c5d12077af09bea03fafbf17a5dcea98dc0 /scripts | |
| parent | da901fefe099708d81de6c413838ca9f1f48cbda (diff) | |
| download | curl-de195a17189098c053d248a9ac9612ac36e2a308.tar.gz | |
scripts/copyright.pl: ignore .muse files
Diffstat (limited to 'scripts')
| -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', |