diff make/jprt.properties @ 5878:191e08da4de4

Apply jacoco coverage to all gate tests
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 26 Jul 2012 17:47:09 +0200
parents a9831b955a0a
children 2d503de963b3
line wrap: on
line diff