Kroese b7694d2096 Rename install.sh to run/install.sh		2023-04-16 14:02:03 +02:00
..
install.sh	Rename install.sh to run/install.sh	2023-04-16 14:02:03 +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