| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | coq: Add some common keywords and improve recognition of Set and qualified id... | Xia Li-yao | 2022-06-11 | 1 | -0/+12 |
 |
index : delta/python-packages/pygments-git.git | |
| github.com: pygments/pygments.git |
| summaryrefslogtreecommitdiff |