Lars Jellema 80bd9d38e3 minecraft-server: 1.15.2 -> 1.16.1		2020-06-26 10:30:00 +02:00
..
default.nix	minecraft-server: 1.15.2 -> 1.16.1	2020-06-26 10:30:00 +02:00
update.sh	minecraft-server: add update script (#88514)	2020-06-02 18:48:53 +02:00