##// END OF EJS Templates
Merge pull request #4719 from jdfreder/prefilter_comment...
Thomas Kluyver -
r13908:7e4a7e5b merge
parent child Browse files
Show More
@@ -212,7 +212,7 b' class PrefilterManager(Configurable):'
212 self._checkers.remove(checker)
212 self._checkers.remove(checker)
213
213
214 #-------------------------------------------------------------------------
214 #-------------------------------------------------------------------------
215 # API for managing checkers
215 # API for managing handlers
216 #-------------------------------------------------------------------------
216 #-------------------------------------------------------------------------
217
217
218 def init_handlers(self):
218 def init_handlers(self):
General Comments 0
You need to be logged in to leave comments. Login now