/timer

Primary LanguageC++

timer

utitlity to record process timings

timer [other process args...]