diff make/sa.files @ 4356:249752adcb8d

Rename Timer DebugTimer and Metric DebugMetric.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 18 Jan 2012 13:54:40 +0100
parents fd65bc7c09b6
children 5a98bf7d847b
line wrap: on
line diff