diff options
author | Gordian Edenhofer | 2017-06-14 16:57:42 +0200 |
---|---|---|
committer | Gordian Edenhofer | 2017-06-14 16:57:42 +0200 |
commit | 4bb68d5dbca813bc81e9a982fe053411a44ddc66 (patch) | |
tree | d226ff740648f3390215c52f9117e0f520cd6b77 /minecraftd.sh | |
parent | fddc4503ee5423d135ca264144d0b4cb3d3f2b1e (diff) | |
download | aur-4bb68d5dbca813bc81e9a982fe053411a44ddc66.tar.gz |
upgpkg: minecraft-server 1.12-2
Bump pkgrel to ensure the server is used with the correct version of the
java-runtime-headless package.
Diffstat (limited to 'minecraftd.sh')
0 files changed, 0 insertions, 0 deletions