-
Mathias Bavay authored
A new method has been added to the Timer class: restart() that resets and restarts the timer (even if not already running).
7d127d2b
WSL/SLF GitLab Repository
A new method has been added to the Timer class: restart() that resets and restarts the timer (even if not already running).