diff options
| author | gbrandl <devnull@localhost> | 2008-09-07 19:37:59 +0200 |
|---|---|---|
| committer | gbrandl <devnull@localhost> | 2008-09-07 19:37:59 +0200 |
| commit | 21cd6ca55b236413f37e5679b7b6cd03ee928fea (patch) | |
| tree | 0d16a942bd3841a69ba05fafb5b53e112e2ded76 /pygments/util.py | |
| parent | ce78dd107498f4b1bb53ee944f752578e2755109 (diff) | |
| download | pygments-21cd6ca55b236413f37e5679b7b6cd03ee928fea.tar.gz | |
Use the font_size option.
Diffstat (limited to 'pygments/util.py')
0 files changed, 0 insertions, 0 deletions