| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Lean: update to Lean 3 | Bryan Gin-ge Chen | 2020-03-14 | 1 | -215/+207 |
| | | | | | From the fork at https://bitbucket.org/gebner/pygments-main/src/default/ | ||||
| * | merge default into stable | Georg Brandl | 2016-01-17 | 1 | -0/+217 |
