4 Commits

Author	SHA1	Message	Date
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