Mercurial Repositories > eric / file comparison
comparison: ThirdParty/Pygments/pygments/formatters/other.py
ThirdParty/Pygments/pygments/formatters/other.py
- changeset 684
- 2f29a0b6e1c7
- parent 12
- 1d8dd9706f46
- child 808
- 8f85926125ef
equal
deleted
inserted
replaced
| 682:91114a975eda | 684:2f29a0b6e1c7 |
|---|---|
| 3 pygments.formatters.other | 3 pygments.formatters.other |
| 4 ~~~~~~~~~~~~~~~~~~~~~~~~~ | 4 ~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 5 | 5 |
| 6 Other formatters: NullFormatter, RawTokenFormatter. | 6 Other formatters: NullFormatter, RawTokenFormatter. |
| 7 | 7 |
| 8 :copyright: Copyright 2006-2009 by the Pygments team, see AUTHORS. | 8 :copyright: Copyright 2006-2010 by the Pygments team, see AUTHORS. |
| 9 :license: BSD, see LICENSE for details. | 9 :license: BSD, see LICENSE for details. |
| 10 """ | 10 """ |
| 11 | 11 |
| 12 from pygments.formatter import Formatter | 12 from pygments.formatter import Formatter |
| 13 from pygments.util import OptionError, get_choice_opt, b | 13 from pygments.util import OptionError, get_choice_opt, b |
