diff contrib/debugshell.py @ 16588:72319bfd7966

phases: line.strip().split() == line.split()
author Martin Geisler <mg@aragost.com>
date Fri, 04 May 2012 15:24:00 +0200
parents 6b7b99867ada
children 3bc675361206
line wrap: on
line diff