Commit 714403ef authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Rename server.sh to run/server.sh

parent 3ffdf574

server.sh→run/server.sh

+0 −0

File moved.

View file