From 26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb Mon Sep 17 00:00:00 2001 From: Omar Vega Ramos Date: Tue, 23 Oct 2018 11:28:51 -0500 Subject: Removing java{7,8}-openjdk --- libre/java7-openjdk/jre7-openjdk.profile.csh | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 libre/java7-openjdk/jre7-openjdk.profile.csh (limited to 'libre/java7-openjdk/jre7-openjdk.profile.csh') diff --git a/libre/java7-openjdk/jre7-openjdk.profile.csh b/libre/java7-openjdk/jre7-openjdk.profile.csh deleted file mode 100644 index c4009af2e..000000000 --- a/libre/java7-openjdk/jre7-openjdk.profile.csh +++ /dev/null @@ -1,4 +0,0 @@ -setenv JAVA_HOME "/usr/lib/jvm/java-7-openjdk/jre" - -# Enable this for non-reparenting window managers -#setenv _JAVA_AWT_WM_NONREPARENTING 1 -- cgit v1.2.3