Commit 9e346556 authored by jpmag's avatar jpmag Committed by Eric
Browse files

Rename BenchmarkCounters to UserCounters (#346) 

The name UserCounters seems more accurate than the pleonastic BenchmarkCounters.
parent a9a66c85
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment