feature: add bad characters to the problems pane. closes #2#27
Open
puka-tchou wants to merge 11 commits intoWengerK:masterfrom puka-tchou:feature/problems
+498-36
Commits
Commits on Oct 7, 2021
- committed
puka - committedpuka
- committedpuka
Commits on Oct 8, 2021
- committedpuka
- committedpuka
Commits on Oct 16, 2021
Commits on Oct 18, 2021
- committedpuka
Commits on Oct 19, 2021
Commits on Oct 26, 2021
Commits on Nov 2, 2021
- committedpuka
Commits on Nov 12, 2021
- committedpuka