diff tests/test-ui-config.py.out @ 16588:72319bfd7966

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