diff options
| author | Bryan Gin-ge Chen <bryangingechen@gmail.com> | 2020-03-14 15:28:53 -0400 |
|---|---|---|
| committer | Bryan Gin-ge Chen <bryangingechen@gmail.com> | 2020-03-14 15:28:53 -0400 |
| commit | ff86a84df1022b61150bf385292c2e1762e3fb3c (patch) | |
| tree | 9c9be4fc22fcf18743aa977ce1fb3d0876009364 /pygments/lexers/diff.py | |
| parent | 6342418c961a4bf734fbe4127ca33482dc4d5391 (diff) | |
| download | pygments-git-ff86a84df1022b61150bf385292c2e1762e3fb3c.tar.gz | |
Lean: update to Lean 3
From the fork at https://bitbucket.org/gebner/pygments-main/src/default/
Diffstat (limited to 'pygments/lexers/diff.py')
0 files changed, 0 insertions, 0 deletions