diff options
author | Mohamed Abdelnour <mohamed.k.abdelnour@gmail.com> | 2021-05-30 12:12:59 +0200 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2021-06-01 22:36:56 +0200 |
commit | 1ced35ec760f4635156c56ba7d8a3a47bc7158a2 (patch) | |
tree | e4d7e066ae4072fd4dc756a71aab5248faacc6d2 | |
parent | 16d346773b284558e7ee1b0da396f29b9a403299 (diff) |
Add 'NOTICE' to list of file names to skip
-rwxr-xr-x | tests/syntax-tests/create_highlighted_versions.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/syntax-tests/create_highlighted_versions.py b/tests/syntax-tests/create_highlighted_versions.py index 75ae9a4d..73feeafd 100755 --- a/tests/syntax-tests/create_highlighted_versions.py +++ b/tests/syntax-tests/create_highlighted_versions.py @@ -18,6 +18,7 @@ BAT_OPTIONS = [ SKIP_FILENAMES = [ "LICENSE.md", + "NOTICE", "README.md", "bat_options", ] |