pausable_timer library

Classes

PausableTimer

A Timer that can be paused, resumed and reset.