diff options
| author | Matthäus G. Chajdas <Anteru@users.noreply.github.com> | 2020-03-21 11:23:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-21 11:23:07 +0100 |
| commit | 1a17a66e2b05ee7ab9ddc90c097f8aa1db988bca (patch) | |
| tree | 9c9be4fc22fcf18743aa977ce1fb3d0876009364 /pygments/lexers/diff.py | |
| parent | 6342418c961a4bf734fbe4127ca33482dc4d5391 (diff) | |
| parent | ff86a84df1022b61150bf385292c2e1762e3fb3c (diff) | |
| download | pygments-git-1a17a66e2b05ee7ab9ddc90c097f8aa1db988bca.tar.gz | |
Merge pull request #1415 from bryangingechen/lean
Lean: update to Lean 3
Diffstat (limited to 'pygments/lexers/diff.py')
0 files changed, 0 insertions, 0 deletions