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 /debian/source/format | |
| parent | 32858e669a79e0a053031fd65e2007d4b89e066b (diff) | |
Teach minecproxy to also read additional properties from server.properties
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions