diff run-tests.sh @ 771:bd13937818a4 dev

minor bug fix
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Fri, 22 Jan 2016 17:43:09 -0500
parents 4fdce0f09ece
children cc5cb04b04b0
line wrap: on
line diff