diff options
author | Gordian Edenhofer | 2019-03-28 11:33:17 +0100 |
---|---|---|
committer | Gordian Edenhofer | 2019-03-28 11:45:50 +0100 |
commit | fc300f4fd62ac40f8c0f869fa27ebc8777822394 (patch) | |
tree | a18bf8ee77177f6bd8eeac28810dac29d7c3c7ac /minecraft-server.install | |
parent | 1a70074f12dae249a5a1726d0ad04b5c9f9fc6f2 (diff) | |
download | aur-fc300f4fd62ac40f8c0f869fa27ebc8777822394.tar.gz |
upgpkg: minecraft-server 1.13.2-2
Update server-management script to be a little tidier. Sync changes
across minecraft-server, spigot and cuberite.
upgpkg: cuberite 1.12b1013-2
upgpkg: spigot 1.13.2+b93-1
Diffstat (limited to 'minecraft-server.install')
0 files changed, 0 insertions, 0 deletions