diff options
author | angristan <angristan@pm.me> | 2019-04-29 23:31:42 +0200 |
---|---|---|
committer | Tim Steinbach <tim@nequissimus.com> | 2019-05-10 07:20:42 -0400 |
commit | 72c2c58356eac41906aa690058b1ff8dfdff0ae4 (patch) | |
tree | c270495ecd4a7b54ddbb20394a85ad29c8ced606 /pkgs/top-level | |
parent | 7bb74e653654dbf9206e751574b5132b15f46bb5 (diff) |
minecraft-server: remove 1.13.0 and 1.13.1
It does not make sense to keep outdated minor versions (cherry picked from commit c7b36b71efbe541ed8517536de2ffec3db3d9277)
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 276c12784d736..2ff174a46417a 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20899,8 +20899,6 @@ in inherit (callPackages ../games/minecraft-server { }) minecraft-server_1_13_2 - minecraft-server_1_13_1 - minecraft-server_1_13_0 minecraft-server_1_12_2; moon-buggy = callPackage ../games/moon-buggy {}; |