diff options
author | Matthäus G. Chajdas <dev@anteru.net> | 2021-06-20 12:03:24 +0200 |
---|---|---|
committer | Matthäus G. Chajdas <dev@anteru.net> | 2021-06-20 12:03:24 +0200 |
commit | 59481baacc98118243b0d3dd8c89f4d68a7215cd (patch) | |
tree | 094edc97e49c719989bf8ca80d3e3c222a2f45af /scripts | |
parent | 6163b9ed81504b90c0d283c5a0a4cfadc82fcbae (diff) | |
download | pygments-git-59481baacc98118243b0d3dd8c89f4d68a7215cd.tar.gz |
Remove unicorn token types (fixes #1816.)
The PR #1819 provides a tool to identify unique token types. This PR
aims to remove the most obvious cases of unicorn styles which are used
in a single lexer only.
Diffstat (limited to 'scripts')
-rwxr-xr-x[-rw-r--r--] | scripts/count_token_references.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/count_token_references.py b/scripts/count_token_references.py index ee4f8fab..ee4f8fab 100644..100755 --- a/scripts/count_token_references.py +++ b/scripts/count_token_references.py |