Jörg Thalheim 2909f5b041 jetbrains: allow to override JAVA_HOME/ANDROID_JAVA_HOME/JDK_HOME ... Otherwise one cannot use a different java version i.e. jdk17		2022-02-08 11:57:32 -08:00
..
common.nix	jetbrains: allow to override JAVA_HOME/ANDROID_JAVA_HOME/JDK_HOME	2022-02-08 11:57:32 -08:00
default.nix	jetbrains: update	2022-02-02 09:19:42 -06:00
update.pl	jetbrains: Fix update.pl script for MPS	2021-07-30 10:57:03 +02:00