Merge branch 'mueller/timer-utilities' into mueller/master

This commit is contained in:
Robin Müller 2021-08-16 11:04:24 +02:00
commit cf4c3acc01
No known key found for this signature in database
GPG Key ID: 71B58F8A3CDFA9AC

View File

@ -50,8 +50,6 @@ bool Timer::isSet() const {
}
void Timer::resetTimer() {
if(not this->set) {
set = false;
}
setTimer(0);
}