diff make/jprt.properties @ 9784:747b2517feae

use invoker's stamp if target's return stamp is of different type
author twisti
date Tue, 21 May 2013 17:56:37 -0700
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff