diff tests/test-ui-color.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 afccc64eea73
children a08775ec89f2
line wrap: on
line diff