Ingo Weinhold 4de4abc407 openjdk: Add some packaging treats ...

Add to the package:
* bin/java-config: When invoked with option -H it prints the java home
  directory.
* data/profile.d/openjdk.sh: It is automatically sourced by
  /etc/profile and sets JAVA_HOME.

2013-12-06 02:40:58 +01:00

..

java-config.in

openjdk: Add some packaging treats

2013-12-06 02:40:58 +01:00