diff onsub.py @ 5:73658c424c7b

Adapt to new run-tests.py output
author Martin Geisler <mg@aragost.com>
date Wed, 24 Nov 2010 14:59:08 +0100
parents aa0c2e9f5f59
children 11fd0da50daa
line wrap: on
line diff