diff options
| author | gbrandl <devnull@localhost> | 2007-02-14 18:26:19 +0100 |
|---|---|---|
| committer | gbrandl <devnull@localhost> | 2007-02-14 18:26:19 +0100 |
| commit | af020e969dfdbb6833887e0a088e245e5032f26a (patch) | |
| tree | 5502979787817053427d113101eb0f8e7693d503 | |
| parent | ead01a06e3a748d49a2a487c122ab61b0f98ccb6 (diff) | |
| download | pygments-af020e969dfdbb6833887e0a088e245e5032f26a.tar.gz | |
[svn] Remove debug print.
| -rw-r--r-- | pygments/filters/__init__.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pygments/filters/__init__.py b/pygments/filters/__init__.py index 375a638e..f1f994eb 100644 --- a/pygments/filters/__init__.py +++ b/pygments/filters/__init__.py @@ -133,7 +133,6 @@ class NameHighlightFilter(Filter): def __init__(self, **options): Filter.__init__(self, **options) self.names = set(get_list_opt(options, 'names', [])) - print "!!!!!!", self.names tokentype = options.get('tokentype') if tokentype: self.tokentype = string_to_tokentype(tokentype) |