From ac73fc486cfe59087387e0784a8364831540bc57 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Wed, 22 Aug 2012 15:28:55 -0400 Subject: [PATCH] Removed unused jdkPlugin attribute --- pkgs/top-level/all-packages.nix | 1 - 1 file changed, 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index f2408987492..4ea178f13bb 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2355,7 +2355,6 @@ let jdk = if stdenv.isDarwin then openjdk else jdkdistro true false; jre = jdkdistro false false; - jdkPlugin = lowPrio (jdkdistro true true); jrePlugin = lowPrio (jdkdistro false true); supportsJDK =