Clarify which JAVA_HOME is used by configure
authorMathieu <mbaudier@argeo.org>
Fri, 10 Mar 2023 10:01:36 +0000 (11:01 +0100)
committerMathieu <mbaudier@argeo.org>
Fri, 10 Mar 2023 10:01:36 +0000 (11:01 +0100)
commit2fcc5942da8416113ccda360f3b568991acf567e
tree92a7852deae65cfaa8ea35e8b56df3db2701e906
parent79ad5e5ec3e1d5d01ef90567241224f7aec5e701
Clarify which JAVA_HOME is used by configure
configure