diff run-tests.sh @ 700:0f1b6907643a dev

merged improvement from stable
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Fri, 17 Jul 2015 14:33:01 -0400
parents 4fdce0f09ece
children cc5cb04b04b0
line wrap: on
line diff