diff make/jprt.properties @ 18043:f55f2d400797

Fix some format strings
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 15 Oct 2014 20:34:55 +0200
parents cb1b723cbca8
children 43aa571c1131
line wrap: on
line diff