Removed unused jdkPlugin attribute
This commit is contained in:
parent
2bc9508034
commit
ac73fc486c
|
@ -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 =
|
||||
|
|
Loading…
Reference in a new issue