Project

General

Profile

« Previous | Next » 

Revision 968fc8b8

Added by Jonathan CLARKE about 12 years ago

Add clear definition of JAVA_HOME depending on JDK versions available for deb packages. Refs #2338

  • added
  • modified
  • copied
  • renamed
  • deleted