From 6249e24c70f4c3537f8b26b155391219b707dae5 Mon Sep 17 00:00:00 2001
From: Fabio Scotto di Santolo <fabio.scottodisantolo@gmail.com>
Date: Wed, 8 Jul 2020 20:33:39 +0200
Subject: [PATCH] Cambio versione predefinita Java da 13 a 11

---
 .profile.d/java.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.profile.d/java.sh b/.profile.d/java.sh
index e57d7d7..216c58a 100644
--- a/.profile.d/java.sh
+++ b/.profile.d/java.sh
@@ -1,2 +1 @@
 export JAVA_HOME=$(/usr/libexec/java_home -v 11)
-export JAVA_HOME_13=$(/usr/libexec/java_home -v 13)