diff tools/verify-all-heads.sh @ 688:073132fc27f1

tests: add --show-stdout option to run.py
author Peter Arrenbrecht <peter.arrenbrecht@gmail.com>
date Wed, 08 Sep 2010 09:50:11 +0200
parents 11c4c7242a36
children
line wrap: on
line diff