diff test/jprt.config @ 4588:6bcf713a4f41

remove jtt tests from the gate (they fail in fastdebug)
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 14 Feb 2012 16:51:06 +0100
parents f08d439fab8c
children
line wrap: on
line diff