diff options
| author | Matth?us G. Chajdas <dev@anteru.net> | 2019-05-18 14:08:51 +0200 |
|---|---|---|
| committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-05-18 14:08:51 +0200 |
| commit | 749842e13e5d44236716529f18c3471229fe12de (patch) | |
| tree | 166d718bbb0fab570c1e46f87b66d2818f0dbbb8 /external | |
| parent | ef8476c4cb27220bb286f4410fe04ad22da0d2b4 (diff) | |
| download | pygments-749842e13e5d44236716529f18c3471229fe12de.tar.gz | |
Stop highlighting primitive types in Coq (fixes #1430.)
Diffstat (limited to 'external')
0 files changed, 0 insertions, 0 deletions