diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-10-23 11:28:51 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-10-23 11:28:51 -0500 |
| commit | 26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb (patch) | |
| tree | cc6b8c002747efe52cdce0f9beac477e08ee8f24 /libre/java7-openjdk/jre7-openjdk.profile.csh | |
| parent | 34aa584b14685314f62485f163b2e0777f883d01 (diff) | |
| download | abslibre-26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb.tar.gz abslibre-26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb.tar.bz2 abslibre-26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb.zip | |
Removing java{7,8}-openjdk
Diffstat (limited to 'libre/java7-openjdk/jre7-openjdk.profile.csh')
| -rw-r--r-- | libre/java7-openjdk/jre7-openjdk.profile.csh | 4 |
1 files changed, 0 insertions, 4 deletions
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 |