From 04fce9e7ec0b5c126d11e361f42b407a41672a24 Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 19 Sep 2020 10:43:55 +0200 Subject: 20200919.1 global branch merge. Signed-off-by: Matteo Bernardini --- development/jdk/profile.d/jdk.csh | 1 - 1 file changed, 1 deletion(-) (limited to 'development/jdk/profile.d/jdk.csh') diff --git a/development/jdk/profile.d/jdk.csh b/development/jdk/profile.d/jdk.csh index 3a1ec7be8b..24580311a3 100644 --- a/development/jdk/profile.d/jdk.csh +++ b/development/jdk/profile.d/jdk.csh @@ -1,4 +1,3 @@ #!/bin/csh setenv JAVA_HOME /usr/lib/java -setenv MANPATH ${MANPATH}:${JAVA_HOME}/man setenv PATH ${PATH}:${JAVA_HOME}/bin:${JAVA_HOME}/jre/bin -- cgit v1.2.3