diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2021-11-06 13:45:01 +0100 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2021-11-06 13:45:01 +0100 |
| commit | b7008642a14fab82f48ac027f72e27f4f8941439 (patch) | |
| tree | 30781b2791b5a072827c5679260f1a50d0494f90 /scripts | |
| parent | dd4d624ab51b610cfe1a7047368d8c305156916b (diff) | |
| download | pygments-git-b7008642a14fab82f48ac027f72e27f4f8941439.tar.gz | |
Formatting fixes only.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check_repeated_token.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check_repeated_token.py b/scripts/check_repeated_token.py index cb98095f..60e42704 100755 --- a/scripts/check_repeated_token.py +++ b/scripts/check_repeated_token.py @@ -31,7 +31,6 @@ import os import sys - def unpack_file(path): """Unpack a file into text, token pairs.""" from collections import namedtuple @@ -47,6 +46,7 @@ def unpack_file(path): text = text.replace('\\t', '\t') yield pair(text, token) + def check_file(path, threshold, single_only): current_token = '' current_token_repeat_count = 1 |