log

age author description
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