github errors that are not in the editor #64
Description
double spaces (not an error but a personal annoyance), and "→" / ">" / "<" not touching a space
{{ message }}
double spaces (not an error but a personal annoyance), and "→" / ">" / "<" not touching a space