crater2150 ffd832d066 Redirect stderr to logs		2023-10-24 17:11:15 +02:00
..
log	Unify logging	2023-08-20 17:20:10 +02:00
run	Redirect stderr to logs	2023-10-24 17:11:15 +02:00