Mon, 07 May 2012 10:02:50 +0200 Martin Geisler check-code: catch unnecessary s.strip().split() calls
Fri, 04 May 2012 15:29:07 +0200 Martin Geisler tags: line.rstrip().split() can be replaced with line.split()
Fri, 04 May 2012 15:24:00 +0200 Martin Geisler phases: line.strip().split() == line.split()
Sun, 06 May 2012 14:36:42 +0200 Martin Geisler merge with stable
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip