diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2022-02-08 15:32:29 +0100 |
|---|---|---|
| committer | Jonathan Ringer <jonringer@users.noreply.github.com> | 2022-02-08 11:57:32 -0800 |
| commit | 2909f5b0417abf0553f8e83666ef1d907f9e968a (patch) | |
| tree | 43fd0a6b1b59f298e137f724de8657cac0410aee /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | dd37d07ccf912ee35a4f041182890e10db5ce7a4 (diff) | |
jetbrains: allow to override JAVA_HOME/ANDROID_JAVA_HOME/JDK_HOME
Otherwise one cannot use a different java version i.e. jdk17
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions