Rename serial.sh to run/serial.sh

This commit is contained in:
Kroese 2023-04-16 13:23:53 +02:00 committed by GitHub
parent a0559197eb
commit ba79b044e9