26 Apr
2013
26 Apr
'13
9:14 a.m.
Version 2578 was committed by gerd on Fri, 26 Apr 2013 tweaks to option --check-styles: - show style name first, don't show info - print all warnings to stdout (one was printed to stderr by mistake)