Mon, 07 May 2012 10:02:50 +0200 | Martin Geisler | check-code: catch unnecessary s.strip().split() calls | changeset | files |
Fri, 04 May 2012 15:29:07 +0200 | Martin Geisler | tags: line.rstrip().split() can be replaced with line.split() | changeset | files |
Fri, 04 May 2012 15:24:00 +0200 | Martin Geisler | phases: line.strip().split() == line.split() | changeset | files |
Sun, 06 May 2012 14:36:42 +0200 | Martin Geisler | merge with stable | changeset | files |