diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2020-08-22 15:47:03 +0200 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2020-08-22 15:47:03 +0200 |
| commit | a57edeccc6b6325e4234f128aac349ee037bd9a4 (patch) | |
| tree | 0da0e61e7c75409ff7c04b033a6b3e7fb5bb410c /pygments/regexopt.py | |
| parent | f59621498e6dc479e4a40caca93f907529756f01 (diff) | |
| download | pygments-git-a57edeccc6b6325e4234f128aac349ee037bd9a4.tar.gz | |
Manually merge PR#1497.
This is a manual merge as we don't want to pull in the documentation
change as part of this fix for a cleaner history.
Diffstat (limited to 'pygments/regexopt.py')
0 files changed, 0 insertions, 0 deletions