diff options
author | David Härdeman <david@hardeman.nu> | 2020-07-12 21:01:59 +0200 |
---|---|---|
committer | David Härdeman <david@hardeman.nu> | 2020-07-12 21:01:59 +0200 |
commit | bc0a809ddb4c2b84be2897c00a7a2fcd5a0cce87 (patch) | |
tree | 2f0fa87c91c625915218912decb1efed80362378 /minecctl/server.h | |
parent | 32858e669a79e0a053031fd65e2007d4b89e066b (diff) |
Teach minecproxy to also read additional properties from server.properties
Diffstat (limited to 'minecctl/server.h')
0 files changed, 0 insertions, 0 deletions