diff options
| author | Kazuhiko Sakaguchi <pi8027@gmail.com> | 2021-12-10 23:42:39 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-10 15:42:39 +0100 |
| commit | 22131277ce57ebaeebf4a102b811aad6d4cacecc (patch) | |
| tree | 3c1b8164f17e62310663daac4ca30069784b6f26 /tests/examplefiles/python | |
| parent | 4f228fa5dba43e0e4ef3b706f415e9a5fef1852a (diff) | |
| download | pygments-git-22131277ce57ebaeebf4a102b811aad6d4cacecc.tar.gz | |
Add missing keywords (Vernacular commands and tactics) for the Coq lexer (#1984)
Diffstat (limited to 'tests/examplefiles/python')
0 files changed, 0 insertions, 0 deletions