Chris Ostrouchov 9080b2eadf minecraft-server: 1.12.2 -> 1.13.2 ... Update minecraft client to 1.13.2. The url is not as nice as before but it is the one provided by mojang. Adds 1_13_2, 1_13_1 as well. https://minecraft.net/en-us/download/server		2019-02-02 13:25:16 -05:00
..
default.nix	minecraft-server: 1.12.2 -> 1.13.2	2019-02-02 13:25:16 -05:00