diff options
| author | Georg Brandl <georg@python.org> | 2013-10-03 19:52:10 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2013-10-03 19:52:10 +0200 |
| commit | 1e5bc0e412818a7dde5920a723663c385de0e1fb (patch) | |
| tree | 155e1afd7a20b5567133051e0e22add7305e396a | |
| parent | 91e5fce0f1aff5378da7b757d4c2644197c291bf (diff) | |
| parent | f6ab39b29d7ce37404253f8adcc08635c072b687 (diff) | |
| download | pygments-1e5bc0e412818a7dde5920a723663c385de0e1fb.tar.gz | |
Merged in sjorek/pygments-main/fix-typo-in-lexers-mapping-header (pull request #240)
Fix tiny typos in header of 'lexers/_mapping.py' and 'formatters/_mapping.py'
| -rwxr-xr-x | pygments/formatters/_mapping.py | 4 | ||||
| -rw-r--r-- | pygments/lexers/_mapping.py | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/pygments/formatters/_mapping.py b/pygments/formatters/_mapping.py index a423ba50..d3e60772 100755 --- a/pygments/formatters/_mapping.py +++ b/pygments/formatters/_mapping.py @@ -3,8 +3,8 @@ pygments.formatters._mapping ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - Formatter mapping defintions. This file is generated by itself. Everytime - you change something on a builtin formatter defintion, run this script from + Formatter mapping definitions. This file is generated by itself. Everytime + you change something on a builtin formatter definition, run this script from the formatters folder to update it. Do not alter the FORMATTERS dictionary by hand. diff --git a/pygments/lexers/_mapping.py b/pygments/lexers/_mapping.py index 969bdba5..207d3ea3 100644 --- a/pygments/lexers/_mapping.py +++ b/pygments/lexers/_mapping.py @@ -3,8 +3,8 @@ pygments.lexers._mapping ~~~~~~~~~~~~~~~~~~~~~~~~ - Lexer mapping defintions. This file is generated by itself. Everytime - you change something on a builtin lexer defintion, run this script from + Lexer mapping definitions. This file is generated by itself. Everytime + you change something on a builtin lexer definition, run this script from the lexers folder to update it. Do not alter the LEXERS dictionary by hand. |