9 commits

Author	SHA1	Message	Date
Jörn-Michael Miehe	7ae0325a2d	externalize schedule randomization	2022-03-03 00:05:14 +01:00
Jörn-Michael Miehe	02605d20a4	newline	2022-03-02 19:02:16 +01:00
Jörn-Michael Miehe	038aecad4c	little refactorings	2022-03-02 18:55:29 +01:00
Jörn-Michael Miehe	351c46fe66	rename scheduler	2022-03-02 18:54:58 +01:00
Jörn-Michael Miehe	efc9fbf803	format	2022-03-01 18:47:44 +01:00
Jörn-Michael Miehe	1d0ef14827	Time Zones	2022-03-01 18:44:09 +01:00
Jörn-Michael Miehe	0cd472a08f	modularity	2022-03-01 18:40:05 +01:00
Jörn-Michael Miehe	718ddec618	modularity	2022-03-01 18:01:31 +01:00
Jörn-Michael Miehe	965dc71dbf	modularity	2022-03-01 17:24:52 +01:00