Felix Buehler df9d5f8fe5 minecraft-server: deprecate phases		2021-07-25 00:14:56 +02:00
..
default.nix	minecraft-server: deprecate phases	2021-07-25 00:14:56 +02:00
update.sh	minecraft-server: add update script (#88514)	2020-06-02 18:48:53 +02:00