diff options
| author | Matthäus G. Chajdas <Anteru@users.noreply.github.com> | 2020-08-22 15:57:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-22 15:57:56 +0200 |
| commit | 23604a813ecbe5ad280b037435044dd62eab3357 (patch) | |
| tree | a332317b72e8a4531c18e15db5fe991f637eb460 /pygments/regexopt.py | |
| parent | 23823a173b01f349b6772b154d1f8447c1f0c0c1 (diff) | |
| parent | b6fb70f88a4bf270a36515e958fdf124a70543ad (diff) | |
| download | pygments-git-23604a813ecbe5ad280b037435044dd62eab3357.tar.gz | |
Merge pull request #1500 from pygments/improve-linenos-handling
Improve HTML formatter output.
Diffstat (limited to 'pygments/regexopt.py')
0 files changed, 0 insertions, 0 deletions