]>
2018-09-11 | Pascal Seitz | fixes #2914 by handling BadIssue case |
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 |