diff make/jprt.properties @ 13684:72f85504e79e

Use .equals instead of == to compare Constant
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 17 Jan 2014 23:16:59 +0100
parents 384c92148c68
children 50fdb38839eb
line wrap: on
line diff