diff options
| author | Gaurav Jain <gaurav@gauravjain.org> | 2014-06-29 22:04:21 -0700 |
|---|---|---|
| committer | Gaurav Jain <gaurav@gauravjain.org> | 2014-06-29 22:04:21 -0700 |
| commit | 9d8d60efb4422d49dc6af9fb83e902b0a0a20d7a (patch) | |
| tree | 53bb6d7707406a9cc44590cb171bb2658b13e1a5 /pygments/lexers/scripting.py | |
| parent | 2f1c724903db081f1d6941d366ca95070049e94b (diff) | |
| download | pygments-9d8d60efb4422d49dc6af9fb83e902b0a0a20d7a.tar.gz | |
Add <-> token to Coq lexer
Diffstat (limited to 'pygments/lexers/scripting.py')
0 files changed, 0 insertions, 0 deletions