diff options
author | Noordsestern <5188411+Noordsestern@users.noreply.github.com> | 2020-06-15 21:21:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-15 21:21:52 +0200 |
commit | b7421f208b7c96510c9298f0b5b9e95bb313ff0d (patch) | |
tree | 587b1d2bece77ce00a7a66069c4cc7ee2f8f83e8 /pygments/regexopt.py | |
parent | 85b72d1aff96a7a90cd8907389c3363ad3d46cee (diff) | |
download | pygments-git-b7421f208b7c96510c9298f0b5b9e95bb313ff0d.tar.gz |
adding *task* to settings section
Diffstat (limited to 'pygments/regexopt.py')
0 files changed, 0 insertions, 0 deletions