##// 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.
Matt Harbison -
r25439:aaede04c default
Show More