diff run-tests.sh @ 831:a8ff35e6fb43

forgotten change
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Wed, 29 Jun 2016 17:56:52 -0400
parents 4fdce0f09ece
children cc5cb04b04b0
line wrap: on
line diff