diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2022-12-11 15:30:01 +0100 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2022-12-11 15:30:01 +0100 |
| commit | 6765ec070fd73ba7bfa5ea464d4e720e61599f3a (patch) | |
| tree | d9d06d83434b56b761282ec4d92a68029c313d02 /.github | |
| parent | ba3a996637b87f22994da354f988a55ac88c7e6e (diff) | |
| download | pygments-git-6765ec070fd73ba7bfa5ea464d4e720e61599f3a.tar.gz | |
Simplify the condition.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions