diff make/defs.make @ 19906:eab99dc3134c

Introduce BenchmarkCounterFactory.
author Josef Eisl <josef.eisl@jku.at>
date Tue, 17 Mar 2015 17:19:18 +0100
parents 52b4284cb496
children 12e94cba3696
line wrap: on
line diff