diff options
author | Matthäus G. Chajdas <dev@anteru.net> | 2022-12-05 15:19:33 +0100 |
---|---|---|
committer | Matthäus G. Chajdas <dev@anteru.net> | 2022-12-05 15:19:33 +0100 |
commit | 0db531852f848913853929a7af1b0bab44d59f1a (patch) | |
tree | 8f09430f214d3d8f31621515d50993a7ea434af6 /scripts | |
parent | 68a7a9b1df4250530dddaa462bc4baf360d32181 (diff) | |
download | pygments-git-0db531852f848913853929a7af1b0bab44d59f1a.tar.gz |
Improve utility script.
Skip the `---tokens---` line when parsing a snippet.
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/utility.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/utility.py b/scripts/utility.py index 066775f1..4d59a1b2 100644 --- a/scripts/utility.py +++ b/scripts/utility.py @@ -31,6 +31,7 @@ def unpack_output_file(path): continue else: skip_until_tokens = False + continue # Line can start with ' or ", so let's check which one it is # and find the matching one |