Henrik Fehlauer 4c6e17c650 Allow to run server.cmd from source directory ... This also enables launching server.cmd from arbitrary directories to match the behaviour of server.sh.		2019-05-30 23:52:59 +02:00
..
local.sh	Merge server.sh and local.sh	2019-05-30 23:52:59 +02:00
server.cmd	Allow to run server.cmd from source directory	2019-05-30 23:52:59 +02:00
server.sh	Allow to run server.sh from source directory	2019-05-30 23:52:59 +02:00