Kroese fd09ea8441 Rename power.sh to run/power.sh		2023-04-16 14:01:41 +02:00
..
power.sh	Rename power.sh to run/power.sh	2023-04-16 14:01:41 +02:00
run.sh	Rename run.sh to run/run.sh	2023-04-16 14:01:19 +02:00