diff options
| author | Tim Baumann <tim@timbaumann.info> | 2013-05-19 22:55:49 +0200 |
|---|---|---|
| committer | Tim Baumann <tim@timbaumann.info> | 2013-05-19 22:55:49 +0200 |
| commit | ac957840bdb18b1d4fb8202228cae6b00dd23a52 (patch) | |
| tree | ffdbddbf9f10f5f089cc4aefe37a6d08b24b0163 /pygments/lexers/_mapping.py | |
| parent | dc6b7939eccfad4610256f76a5b2bce729d4507b (diff) | |
| download | pygments-ac957840bdb18b1d4fb8202228cae6b00dd23a52.tar.gz | |
Cosmetic changes in Agda lexer
Diffstat (limited to 'pygments/lexers/_mapping.py')
0 files changed, 0 insertions, 0 deletions