]>
2022-05-08 | Pascal Seitz | Fixes #5260 |
commit | commitdiff | tree |
2018-09-11 | Pascal Seitz | fixes #2914 by handling BadIssue case |
commit | commitdiff | tree |
2018-09-10 | Pascal Seitz | add spaces |
commit | commitdiff | tree |
2018-09-08 | Pascal Seitz | fixes #3151 by skipping the lint instead of crashing |
commit | commitdiff | tree |
2018-02-13 | Pascal Seitz | scale WidthHeuristics by max_width |
commit | commitdiff | tree |
2018-01-11 | Pascal Seitz | case insensitive FIXME and TODO |
commit | commitdiff | tree |