Enrico Joerns 1654152193 [core] timer: Added note that timer_reset must not be executed before timer expired
Should save some users debugging time while adding no computation overhead
that would be needed for range checks
2014-07-10 11:33:00 +02:00
..
2013-02-18 20:34:24 +01:00
2014-05-30 11:01:20 +02:00
2014-05-30 11:01:20 +02:00