##// END OF EJS Templates
revert: replace match.bad() monkey patching with match.badmatch()...
revert: replace match.bad() monkey patching with match.badmatch() No known issues with the previous code since it immediately overwrote the patched, locally create matcher.

File last commit:

r1360:7d439981 default
r25439:aaede04c default
Show More
__init__.py
1 line | 14 B | text/x-python | PythonLexer
# placeholder