6 Commits

Author	SHA1	Message	Date
Luca Schlecker	58583bf1a5	deboostify task_timer.	2022-06-18 17:21:37 +03:00
The-EDev	94a2f942bc	changed comment style back to the original (doxygen did not work with the new style)	2021-12-03 06:39:23 +03:00
The-EDev	7f4b7c8ff9	created new rules, used bot to enforce rules in PRs	2021-11-25 14:45:38 +03:00
Luca Schlecker	118c992e0d	task_timer: align comment style with Crow's. ... Signed-off-by: Luca Schlecker <luca.schlecker@hotmail.com>	2021-11-21 15:45:40 +01:00
Luca Schlecker	6458184e8f	task_timer: rename set_timeout to schedule. ... Signed-off-by: Luca Schlecker <luca.schlecker@hotmail.com>	2021-11-20 17:03:58 +01:00
Luca Schlecker	de92d28f29	replace dumb_timer_queue with new task_timer. ... fixes #264, lays ground for #273 and #257. Signed-off-by: Luca Schlecker <luca.schlecker@hotmail.com>	2021-11-19 18:55:10 +01:00