diff options
author | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2011-04-14 20:41:45 +0100 |
---|---|---|
committer | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2011-04-14 20:41:45 +0100 |
commit | 0d94f7f6fa7b5a7cb2df723016330cd26d2f1bc5 (patch) | |
tree | 1ff583c248014bd94368bc2e1c62f4746ada3a4d /scripts/check_sources.py | |
parent | 66abb9fd7452fcf940d7fff3d57acc6bcdb47dab (diff) | |
download | pygments-0d94f7f6fa7b5a7cb2df723016330cd26d2f1bc5.tar.gz |
Ignore case of the language in PostgreSQL $-string parsing
Diffstat (limited to 'scripts/check_sources.py')
0 files changed, 0 insertions, 0 deletions