ff13d38 Minor improvements to start-server scripts.
- Parent 5a42ec1c95801fa76023f18b48141f52583f7aac
- Authored by Peter Boughton at Wed 20 Oct 2021, 19:02
- Committed by Peter Boughton at Thu 21 Oct 2021, 13:36
src/start-server.bat | 2 +- src/start-server.sh | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-)view diff