doc(tactic/localized): unnecessary escape characters (#3322)
doc(tactic/localized): unnecessary escape characters (#3322)

This is probably left over from when it was a string literal instead of a doc string.






leanprover-community/mathlib,leanprover-community/mathlib