adrien f5ac36e21f WIP: rewrote runtime.rs using match to convey intent better		2021-09-22 14:46:57 +02:00
..
config_test.rs	WIP: removed useless '.clone()' in runtime.rs and changed config test file name to config_test.rs	2021-09-22 14:46:37 +02:00
mod.rs	WIP: removed useless '.clone()' in runtime.rs and changed config test file name to config_test.rs	2021-09-22 14:46:37 +02:00
options.rs	Use the new formatting rules	2021-09-20 16:07:58 +02:00
runtime.rs	WIP: rewrote runtime.rs using match to convey intent better	2021-09-22 14:46:57 +02:00