3 Commits

Include renames

Author	SHA1	Message	Date
Cedric Roux	b89b3abd13	API change: new arguments to time_manager_start()	2025-04-18 09:05:39 +02:00
Cedric Roux	4834d93006	fix typo	2025-04-18 09:02:55 +02:00
Cedric Roux	7cbedb1575	time management module ... This commit introduces a time management module. See doc/time_management.md for details.	2025-04-18 09:02:54 +02:00