Commit ea1580e5 authored by Lorenz Huedepohl's avatar Lorenz Huedepohl

Add interface for timer_start/timer_stop to API

parent 7329e8f8