diff make/jprt.properties @ 6313:7ac010ae8c97

Add inferStamp for a number of ConvertNode's operations
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 04 Sep 2012 17:10:42 +0200
parents f7baf26515fc
children d5ec46c7da5c eff5d59db7e1
line wrap: on
line diff