diff make/jprt.properties @ 18417:3b7746ceb0e8

Trust interface types comming form LoadIndexed nodes
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 19 Nov 2014 12:02:35 +0100
parents cb1b723cbca8
children 43aa571c1131
line wrap: on
line diff