diff hotspot/.settings/org.eclipse.core.runtime.prefs @ 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 e53926b0a6cb
children
line wrap: on
line diff